TY  - BOOK
AU  - Kozen Derter Ed.
TI  - Workshop on logics of programs/lecture notes in computer science (131)
U1  - D65,8(B)92 
PY  - 1982///
KW  -  Computer program language
KW  - Computer science
ER  -