Участники симпозиума по теоретическому программированию на дискуссии. Слева направо: В.Е. Котов, Р.Дж.Миллер, Б.А. Трахтенброт. (Фото из архива Б.А. Трахтенброта).