APA-referens (7:e uppl.)

Boolos, G., Burgess, J. P., & Jeffrey, R. C. (2002). Computability and logic (4th ed.). Cambridge University Press.

Chicago-referens (17:e uppl.)

Boolos, George, John P. Burgess, och Richard C. Jeffrey. Computability and Logic. 4th ed. Cambridge: Cambridge University Press, 2002.

MLA-referens (9:e uppl.)

Boolos, George, et al. Computability and Logic. 4th ed. Cambridge University Press, 2002.