TY  - BOOK
AU  - Gries,David  .
AU  -  Apt,Krzysztof R.
AU  - Olderog,Ernst-Rudiger  .
TI  - Verification of sequential and concurrent programs / 
U1  - 005.14 
PY  - 1991///
CY  - New York : 
PB  - Springer-Verlag , 
KW  - Concurrent programs
KW  - Measurement Software
KW  - Verification of sequential Programs
ER  -