W.P. De Roever (W.-P. De Roever / De Roever, W.P. / W. P. De Roever / Roever, W.-P. De / De Roever, W. P.)

• 
  Compositionality: The Significant Difference International Symposium, Compos '97, Bad Malente, Germany, September 1997 Revised Lectures
  by A. Pnueli, W.-P. De Roever, Hans Langmaack, Compos '9 (1997 Malente, Germany)
  Softcover, Springer Verlag, ISBN 3540654933 (3-540-65493-3)
• 
  Concurrency Verification: Introduction to Compositional and Noncompositional Methods
  by Yassine Lakhnech, Job Zwiers, Frank De Boer, Ulrich Hannemann, Jozef Hooman, Mannes Poel, W.-P. De Roever
  Hardcover, Cambridge Univ Pr, ISBN 0521806089 (0-521-80608-9)
• 
  Data Refinement : Model-Oriented Proof Methods and Their Comparison
  by Willem-Paul DeRoever, Kai Engelhardt
  Hardcover, Cambridge University Press, ISBN 0521641705 (0-521-64170-5)
• 
  A Decade of Concurrency: Reflections and Perspectives Rex School/Symposium Noordwijkerhout, the Netherlands June 1-4, 1993 Proceedings
  by W.P. De Roever, De Bakker, Grzegorz Rozenberg
  Softcover, Springer Verlag, ISBN 0387580433 (0-387-58043-3)
• 
  A Decade of Concurrency: Reflections and Perspectives REX School/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 Proceedings
  by Grzegorz Rozenberg, W.-P. De Roever, J. W. De Bakker
  Hardcover, Springer-Verlag, ISBN 3540580433 (3-540-58043-3)
• 
  Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lubeck, Germany, September 19-23, 1994 Proceedings
  by H. Langmaack, W. P. De Roever, Jan Vytopil
  Softcover, Springer, ISBN 3540584684 (3-540-58468-4)
• 
  Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly With the Working Group Provably Correct S
  by W.P. De Roever, Hans Langmaack, Working Group Provably Correct Systems, Jan Vytopil, W.-P. De Roever
  Softcover, Springer Verlag, ISBN 0387584684 (0-387-58468-4)
• 
  Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990
  by J.W. De Bakker, W.P. De Roever, G. Rozenberg
  Softcover, Springer Verlag, ISBN 038753931X (0-387-53931-X)
• 
  Foundations of Object-Oriented Languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 Proceedings
  by Grzegorz Rozenberg, W.-P. De Roever, J. W. De Bakker
  Hardcover, Springer-Verlag, ISBN 354053931X (3-540-53931-X)
• 
  Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3,
  by J.W. De Bakker, W.P. De Roever, School, Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijker, Grzegorz Rozenberg, W.-P. De Roever, J. W. De Bakker
  Softcover, Springer Verlag, ISBN 038751080X (0-387-51080-X)
• 
  Real-Time: Theory in Practice Rex Workshop Mook, the Netherlands, June 1991 Proceedings
  by J.W. De Bakker, W.P. De Roever, C. Huizing, G. Rozenberg
  Softcover, Springer Verlag, ISBN 0387555641 (0-387-55564-1)
• 
  Recursive Program Schemes: Semantics and Proof Theory
  by W.-P. De Roever
  Hardcover, Mathematisch Centrum, ISBN 9061961270 (90-6196-127-0)
• 
  Semantics: Foundations and Applications Rex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings
  by J.W. De Bakker, W.P. De Roever, G. Rozenberg
  Softcover, Springer Verlag, ISBN 0387565965 (0-387-56596-5)
• 
  Semantics: Foundations and Applications REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 Proceedings
  by Grzegorz Rozenberg, W.-P. De Roever, J. W. De Bakker
  Hardcover, Springer-Verlag, ISBN 3540565965 (3-540-56596-5)
• 
  Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness Proceedings
  by J.W. De Bakker, W.P. De Roever, G. Rozenberg
  Softcover, Springer Verlag, ISBN 0387525599 (0-387-52559-9)
• 
  Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness REX Workshop, Mook, the Netherlands, May 29-June 2, 1989 Proceedings
  by Grzegorz Rozenberg, W.-P. De Roever, J. W. De Bakker
  Hardcover, Springer-Verlag, ISBN 3540525599 (3-540-52559-9)