Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

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

Citace podle MLA (9th ed.)

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..