| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings | 978-3-54O-52559-2 (3-54O-52559-9) | 1990 | Willem-Paul de Roever · Grzegorz Rozenberg |
D B · D Bakker · J.B. · J. Bakker · J.D. · J.D. Bakker · J. W. · J. W. De Bakker · Jaco de Bakker · W. B