Петр Советов — Автоматизация программирования в СССР. Трансляторы (60–70-е годы)