Конгресс ИФИП-77

Доклад А.П. Ершова и В.В. Грушецкого на Конгрессе ИФИП-77 "Метод описания алгоритмических языков, ориентированный на реализацию".