SpringerLink (Online service), Eidgenössische Technische Hochschule Zürich, & Engeler, E. (1981). Logic of programs: Workshop, ETH Zürich, May-July 1979. Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Eidgenössische Technische Hochschule Zürich, and Erwin Engeler. Logic of Programs: Workshop, ETH Zürich, May-July 1979. Berlin ; New York: Springer, 1981.
MLA (9th ed.) CitationSpringerLink (Online service), et al. Logic of Programs: Workshop, ETH Zürich, May-July 1979. Springer, 1981.
Warning: These citations may not always be 100% accurate.