TY  - BOOK
AU  - Apt,K.R & Olderog,E-R
ED  - Olderog, E-R
TI  - Verification of sequential & concurrent programs
T2  - Graduate texts in computer science
SN  - 0387948961
U1  - 18 
PY  - 1997///
CY  - New York
PB  - Springer
ER  -