TY  - BOOK
AU  - KOZEN,DEXTER (ED)
TI  - LOGICS OF PROGRAMS: PROCEEDINGS OF WORKSHOP,1981
SN  - NCST
U1  - 719 
PY  - 1982///
CY  - BERLIN
PB  - SV
ER  -