Liudmila Molkova
Robert Sedgewick, Kevin Wayne
计算机算法：正确性证明与性能分析
Shashank K. Mehta
Ю. А. Григорьев, А. Д. Плутенко, В. Л. Плужников, Е. Ю. Ермаков, Е. В. Цвященко, В. А. Пролетарская
Аллен Б. Доуни
Дэвид Калавера, Лоренцо Фонтана
Richard L. Sites
