TY  - BOOK
AU  - De Rower, W. P., ed.
AU  - Rozenberg, G., ed.
ED  - De Bakker, J. W., ed.
TI  - Stepwise refinement of distributed systems : models, formalisms, correctness
T2  - Lecture notes in computer science
SN  - 3540525599
U1  - 004.36 
PY  - 1990///
CY  - Berlin
PB  - Springer-Verlag
ER  -