TY  - BOOK
AU  - Salwicki, A., Ed.
TI  - Logics of programs and their applications, proceedings, Poznan, Agust 23-29,1980
CY  - Berlin
ER  -