С. Иванов, «Джон Хопкрофт – почетный доктор СПбГУ ИТМО. Стенограмма встречи сотрудников и студентов СПбГУ ИТМО с Дэвидом Гроссом и Джоном Хопкрофтом», CTE, вып. 5, янв. 2014.