TY  - BOOK
AU  - Salwicki A Ed.
TI  - Proceedings on logics of programs and their applications/lecture notes in computer science (148)
T2  - Lecture notes in computer science; 148
U1  - D65,8(B)92p1,N80, M3 
PY  - 1983///
CY  - Berlin
PB  - Springer Verlag        
ER  -