Автор сообщает, что внес незначительные исправления в текст доклада адресата "Теория схем программ"; высоко оценивает доклад.
