APA (7th ed.) Citation

Boyer, R. S., & Moore, J. S. (1981). The correctness problem in computer science. Academic Press.

Chicago Style (17th ed.) Citation

Boyer, Robert S., and J Strother Moore. The Correctness Problem in Computer Science. London [etc.]: Academic Press, 1981.

MLA (9th ed.) Citation

Boyer, Robert S., and J Strother Moore. The Correctness Problem in Computer Science. Academic Press, 1981.