авторов статьи "Система типов языков программирования" в редколлегию сборника "Прикладная информатика" с ответом на замечания С.С. Лаврова, высказанные в рецензии от 25.02.1985