TY  - DATA
AU  - Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
TI  - Stepwise Refinement of Distributed Systems
SN  - 9783540470359
PY  - 1990///
PB  - Springer Berlin Heidelberg
KW  - Computer Science
UR  - https://doi.org/10.1007/3-540-52559-9
ER  -