"Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings " - читать интересную книгу автора (Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg)