J.W. de Bakker (Jaco) , W.P. de Roever , G. Rozenberg
Centrum Wiskunde & Informatica, Amsterdam, The Netherlands

de Bakker, J.W, de Roever, W.P, & Rozenberg, G (Eds.). (1990). Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29- June 2, 1989 Proceedings. In J.W de Bakker, W.P de Roever, & G Rozenberg (Eds.), Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence. doi:10.1007/3-540-52559-9