APA (7th ed.) Zitazioa
Manna, Z., & Waldinger, R. (1990). The Logical Basis for Computer Programming Volume 2: Deductive Systems.
Chicago Style (17th ed.) Zitazioa
Manna, Zohar, eta Richard Waldinger. The Logical Basis for Computer Programming Volume 2: Deductive Systems. 1990.
MLA (9th ed.) Zitazioa
Manna, Zohar, eta Richard Waldinger. The Logical Basis for Computer Programming Volume 2: Deductive Systems. 1990.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.