Describir: Stepwise refinement of distributed systems. Models, formalisms, correctness. REX workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proc. /