TY  - BOOK
AU  - Apt K R
AU  - Olderog Ernst-Rudiger
TI  - Verification of sequential and concurrent programs
SN  - 0-387-97532-2
U1  - 005.14 
PY  - 1991///
CY  - N Y
PB  - Springer Verlag
KW  - concurrent programme
KW  - Programming techniques
ER  -