Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings Bakker, Jaco W. de Heftet / 1990 / Engelsk
