APA Style

Manna, Z. (1985). The Logical Basis for Computer Programming (1). USA: Addison-Wesley Publishing Company.

MLA Style

Manna, Zohar. "The Logical Basis for Computer Programming". 1 USA: Addison-Wesley Publishing Company, 1985. Book.