APA (7th ed.) Citation

Engeler, E., & Eidgenössische Technische Hochschule Zürich. (1981). Logic of programs: Workshop, ETH Zürich, May-July 1979. Springer.

Chicago Style (17th ed.) Citation

Engeler, Erwin, and Eidgenössische Technische Hochschule Zürich. Logic of Programs: Workshop, ETH Zürich, May-July 1979. Berlin ; New York: Springer, 1981.

MLA (8th ed.) Citation

Engeler, Erwin, and Eidgenössische Technische Hochschule Zürich. Logic of Programs: Workshop, ETH Zürich, May-July 1979. Springer, 1981.

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