TY  - BOOK
AU  - Parikh, Rohit Ed. Goos, G. Editor
TI  - Lecture notes in computer science: V.193. Logics of programs,Brooklyn,June 17-19,1985
U1  - 621.38195 
PY  - 1985///
KW  - Computers
ER  -