-J. W de Bakker/W -P. de Röver/G. Rozenberg (Eds.): Stepwise Refinement of Distributed Systems. Models, Formalisms, Correctness, Proceedings 1989, Springer-Verlag 1990