1.

電子ブック
ＥＢ
1. Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1074
オンライン: http://dx.doi.org/10.1007/3-540-61254-8
2.

電子ブック
ＥＢ
2. Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings
edited by Bernhard Möller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 947
オンライン: http://dx.doi.org/10.1007/3-540-60117-1
3.

電子ブック
ＥＢ
3. Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers
edited by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 816
オンライン: http://dx.doi.org/10.1007/3-540-58233-9
4.

電子ブック
ＥＢ
4. Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report
edited by Bernhard Möller, Helmut Partsch, Steve Schuman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 755
オンライン: http://dx.doi.org/10.1007/3-540-57499-9