TY  - BOOK
AU  - de Bakker, J W. Ed.
AU  - de Roever, W P. Ed.
AU  - Rozenberg, G. Ed.
TI  - Stepwise Refinement of Distributed Systems: Proceedings, REX Workshop, Mook, The Netherlands, 1989
SN  - 3540525599
CY  - Berlin
KW  - Stepwise Refinement
KW  - Distributed Systems
KW  - Models
KW  - Formalisms
KW  - Correctness
ER  -