REX project, Research and Education in Concurrent Systems , 1989
Stepwise refinement of distributed systems. Models, formalisms, correctness. REX workshop, Mook, the Netherlands, may 29-june 2, 1989. Proceedings. - Springer Verlag, 1990. - (Lecture Notes in Computer Science; 430).