TY  - BOOK
AU  - Zwiers J
TI  - Compositionality, concurrency and partial correctness
T2  - Lecture notes in computer science; 321
U1  - D65,8(B), M9 
PY  - 1989///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer science
ER  -