Левин, В. «Виктор Иванович Шестаков и логическое моделирование». Логические исследования, т. 16, апрель 2010 г., сс. 156-98, doi:10.21146/2074-1472-2010-16-0-156-198.