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