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 (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.