ISBN 0387525599 books & textbook
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness : Proceedings (Lecture Notes in Computer Science)
De Bakker, J. W.; De Roever, W.P.; Rosenberg, G. (eds.)
Springer-Verlag /1990T Paperback / 808 Pages
isbn-10: 0387525599 / isbn-13: 9780387525594
