Παραπομπή APA

Manna, Z., & Waldinger, R. (1993). The Deductive foundations of computer programming. Addison-Wesley.

Παραπομπή Chicago Style

Manna, Zohar, and Richard Waldinger. The Deductive Foundations of Computer Programming. Addison-Wesley, 1993.

Παραπομπή MLA

Manna, Zohar, and Richard Waldinger. The Deductive Foundations of Computer Programming. Addison-Wesley, 1993.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.