Boerger, E., Grädel, E., & Gurevich, Y. (1997). The classical decision problem. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Boerger, Egon, Erich Grädel, και Yuri Gurevich. The Classical Decision Problem. New York: Springer, 1997.
Παραπομπή σε μορφή MLA (8th εκδ.)Boerger, Egon, et al. The Classical Decision Problem. Springer, 1997.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.