1.

電子ブック
ＥＢ
1. Semantics: Foundations and Applications : REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 666
オンライン: http://dx.doi.org/10.1007/3-540-56596-5
2.

電子ブック
ＥＢ
2. Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness : REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 430
オンライン: http://dx.doi.org/10.1007/3-540-52559-9
3.

電子ブック
ＥＢ
3. Current Trends in Concurrency : Overviews and Tutorials
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 224
オンライン: http://dx.doi.org/10.1007/BFb0027037