Рабочая записка "Исследование и разработка формальных моделей вычислений, моделей ЭВМ и программ, методы их анализы, синтеза и верификации" (к прогнозному докладу отдела по лаборатории теоретического программирования). Дата: 05.02.1988 Оригинальный язык документа: русский
