Citação norma APA
Manna, Z., & Waldinger, R. (1990). The Logical Basic for Computer Programming. Volume 2: Deductive Systeme. Addison-Wesley.
Citação norma Chicago
Manna, Zohar, and Richard Waldinger. The Logical Basic for Computer Programming. Volume 2: Deductive Systeme. Reading: Addison-Wesley, 1990.
Citação norma MLA
Manna, Zohar, and Richard Waldinger. The Logical Basic for Computer Programming. Volume 2: Deductive Systeme. Addison-Wesley, 1990.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.