Citação norma APA
Manna, Z., & Waldinger, R. (1990). <The> logical Basis for Computer Programming (1. ed.). Addison-Wesley Publ. Co.
Citação norma Chicago
Manna, Zohar, and Richard Waldinger. <The> Logical Basis for Computer Programming. 1. ed. Reading: Addison-Wesley Publ. Co, 1990.
Citação norma MLA
Manna, Zohar, and Richard Waldinger. <The> Logical Basis for Computer Programming. 1. ed. Addison-Wesley Publ. Co, 1990.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.