TY  - BOOK
AU  - Engeler Erwin Ed.
ED  - Workshop on logic of programs (1979 : ETH Zurich)
TI  - Proceeding on logic of programs
T2  - Lecture notes in computer science; 125
U1  - D65,8(B)92p1,N79, M1 
PY  - 1981///
CY  - Berlin
PB  - Springer-Verlag         
KW  - Logic
ER  -