Дэвид Файгенбаум, Василий Горохов (переводчик)