TY  - BOOK
AU  - Engeler, Erwin. Ed.
TI  - Logic of Programs: Proceedings, Workshop, ETH Zurich, 1979
SN  - 3540111603
CY  - Berlin
KW  - Logic
ER  -