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.

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, Mass: Addison-Wesley, 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, 1993.

Attenzione: Queste citazioni potrebbero non essere precise al 100%.