Engeler, E., & Eidgenössische Technische Hochschule Zürich. (1981). Logic of programs: Workshop, ETH Zürich, May-July 1979. Springer.
Chicago Style (17th ed.) CitationEngeler, 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.) CitationEngeler, 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.