APA (7th ed.) Citation

Manna, Z. (1980). Lectures on the logic of computer programming. Society for Industrial and Applied Mathematics.

Chicago Style (17th ed.) Citation

Manna, Zohar. Lectures on the Logic of Computer Programming. Philadelphia, Pa.: Society for Industrial and Applied Mathematics, 1980.

MLA (8th ed.) Citation

Manna, Zohar. Lectures on the Logic of Computer Programming. Society for Industrial and Applied Mathematics, 1980.