Boyer, R. S., & Moore, J. S. (1981). The correctness problem in computer science. Academic Press.
Citazione stile Chigago Style (17a edizione)Boyer, Robert S., e J Strother Moore. The Correctness Problem in Computer Science. London: Academic Press, 1981.
Citatione MLA (9a ed.)Boyer, Robert S., e J Strother Moore. The Correctness Problem in Computer Science. Academic Press, 1981.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.