TY  - BOOK
AU  - Bakker J W De Ed.
AU  -  Roever W P De Ed.
AU  -  Rozenberg G Ed.
ED  - Workshop on stepwise refinement of distributed systems (1989 : Mook Netherlands)
TI  - Proceeding of Stepwise refinement of distributed systems:models formalisms , correctness
T2  - Lecture notes in computer science; 430
U1  - D65,8(B)92, M9 
PY  - 1989///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer programming
ER  -