APA aipamena

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

Chicago Style aipamena

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 aipamena

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