APA-referens (7:e uppl.)

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

Chicago-referens (17:e uppl.)

Boolos, George, John P. Burgess, och Richard C. Jeffrey. Computability and Logic. 5th ed. Cambridge, New York: Cambridge University Press, 2007.

MLA-referens (9:e uppl.)

Boolos, George, et al. Computability and Logic. 5th ed. Cambridge University Press, 2007.