Baaz, Matthias; Papadimitriou, Christos H.; Putnam, Hilary W.; Scott, Dana S.; Harper, Jr, Charles L. Cambridge University Press 2011 Kovakantinen kirja
Baaz, Matthias; Papadimitriou, Christos H.; Putnam, Hilary W.; Scott, Dana S.; Harper, Jr, Charles L. Cambridge University Press 2014 Pehmeäkantinen kirja