Иосиф Дзеранов
N. Wirth
计算机算法：正确性证明与性能分析
Shashank K. Mehta
А. В. Маер, О. С. Черепанов
Дмитрий Голубенко, Алексей Крошнин, Эдуард Горбунов
М. Г. Курносов, Д. М. Берлизов
Irina Galata, Márton Braun, Matei Suica
Jonathan Sande
Marcin Jamro
George T. Heineman, Gary Pollice, Stanley Selkow
Cuantum Technologies
Tim Roughgarden
Имран Ахмад
Моритэру Исида, Сюити Миядзаки
