Письмо

Рекомендует к публикации в "Прикладной информатике" статью В.А. Непомнящего и В.К. Сабельфельда "Трансформационный синтез корректных программ". Дает ей высокую оценку. /Текст рукописный./