Citazione Stile APA (7a Edizione)
Manna, Z., & Waldinger, R. (1993). The Deductive Foundations of Computer Programming: A One-Volume Version of "The Logical Basis for Computer Programming". Addison-Wesley Publishing Company.
Citazione stile Chigago Style (17a edizione)
Manna, Zohar, e Richard Waldinger. The Deductive Foundations of Computer Programming: A One-Volume Version of "The Logical Basis for Computer Programming". Reading: Addison-Wesley Publishing Company, 1993.
Citatione MLA (9a ed.)
Manna, Zohar, e Richard Waldinger. The Deductive Foundations of Computer Programming: A One-Volume Version of "The Logical Basis for Computer Programming". Addison-Wesley Publishing Company, 1993.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.