APA Style
Waldinger, R., Manna, Z. (2001).
The Deductive Foundations of Computer Programming .
United States of America:
Addison Wesley.
MLA Style
Waldinger, Richard., Manna, Zohar.
"The Deductive Foundations of Computer Programming".
United States of America:
Addison Wesley,
2001.
Text.