Подловченко Р.И. Алгебраические модели программ и эквивалентные преобразования в них//Материалы Х Международного семинара «Дискретная математика и ее приложения» (Москва, 1-6 февраля 2010 г.). Москва, изд-во мех.-мат. ф-та МГУ, 2010, с.411-414.