APA Citation

Engeler, E. (1981). Logic of Programs: Workshop, ETH Zürich, May-July 1979 (1st ed. 1981.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Engeler, E. Logic of Programs: Workshop, ETH Zürich, May-July 1979. 1st ed. 1981. Berlin, Heidelberg: Springer Berlin Heidelberg, 1981.

MLA Citation

Engeler, E. Logic of Programs: Workshop, ETH Zürich, May-July 1979. 1st ed. 1981. Berlin, Heidelberg: Springer Berlin Heidelberg, 1981.

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