Kozen, D. (1981). Logic of programs: Workshop, ETH Zürich, May-July 1979. Springer.
Chicago-Zitierstil (17. Ausg.)Kozen, Dexter. Logic of Programs: Workshop, ETH Zürich, May-July 1979. Berlin: Springer, 1981.
MLA-Zitierstil (9. Ausg.)Kozen, Dexter. Logic of Programs: Workshop, ETH Zürich, May-July 1979. Springer, 1981.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.