TY  - BOOK
AU  - Parikh, Rohit  Ed.,
TI  - Logics of programs
SN  - 3540156488
PY  - 1985///
CY  - Berlin
PB  - Spriger Verlag
ER  -