Род Стивенс
Pradeep Singh, Balasubramanian Raman
计算机算法：正确性证明与性能分析
Shashank K. Mehta
Витольд Липский
Тим Рафгарден
Альфред В. Ахо, Джон Э. Хопкрофт, Джеффри Д. Ульман
Л. А. Павлов, Н. В. Первова
Лэнс Фортноу
Томас Кормен
М. Г. Курносов, Д. М. Берлизов
В.И. Игошин
Владстон Феррейра Фило
Н. Н. Кузюрин, С. А. Фомин
Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн
