%0 Book
%A  J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
%T Stepwise refinement of distributed systems :
%U /book/89979506/Stepwise-refinement-of-distributed-systems/