Cita APA

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

Citación estilo Chicago

Boyer, Robert S., and J Strother Moore. The Correctness Problem in Computer Science. London ; New York: Academic Press, 1981.

Cita MLA

Boyer, Robert S., and J Strother Moore. The Correctness Problem in Computer Science. London ; New York: Academic Press, 1981.

Precaución: Estas citas no son 100% exactas.