1.

電子ブック
ＥＢ
1. Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings
edited by Martin Wirsing, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1101
オンライン: http://dx.doi.org/10.1007/BFb0014301
2.

電子ブック
ＥＢ
2. Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings
edited by Maurice Bruynooghe, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 631
オンライン: http://dx.doi.org/10.1007/3-540-55844-6
3.

電子ブック
ＥＢ
3. Methods of Programming : Selected Papers on the CIP-Project
edited by Manfred Broy, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 544
オンライン: http://dx.doi.org/10.1007/BFb0018265
4.

電子ブック
ＥＢ
4. Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings
edited by Jan Maluszyński, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 528
オンライン: http://dx.doi.org/10.1007/3-540-54444-5
5.

電子ブック
ＥＢ
5. Algebraic Methods: Theory, Tools and Applications
edited by Martin Wirsing, Jan A. Bergstra
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 394
オンライン: http://dx.doi.org/10.1007/BFb0015032