TY  - BOOK
AU  - Bakker J W de
ED  - REX Workshop on Stepwise Refinement of Distributed Systems( 1989 : Netherlands )
ED  - REX Workshop on Stepwise Refinement of Distributed Systems
TI  - Stepwise refinement of distributed systems models,formalisms,correctness : proceedings
U1  - 4.36 
PY  - 1989///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Distributed processing
ER  -