ISBN 3540525599 books & textbook
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science, 430)
Bakker, Jaco W. de Roever, Willem-Paul de Rozenberg, Grzegorz
Springer /1990-04-25 Paperback / 824 Pages
isbn-10: 3540525599 / isbn-13: 9783540525592
