Представляет к публикации статью В.Э. Иткина "Логико-термальная эквивалентность схем-программ"; дает ей очень высокую оценку.
