%0 Book
%A J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
%T Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop , Mook, The Netherlands, May 29-June 2, 1989 : Proceedings
%U /book/101373463/Stepwise-refinement-of-distributed-systems-model/