1.

電子ブック
ＥＢ
1. 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
2.

電子ブック
ＥＢ
2. Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings
edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 669
オンライン: http://dx.doi.org/10.1007/3-540-56625-2
3.

電子ブック
ＥＢ
3. TAPSOFT'93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings
edited by M. -C. Gaudel, J. -P. Jouannaud
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 668
オンライン: http://dx.doi.org/10.1007/3-540-56610-4
4.

電子ブック
ＥＢ
4. Baltic Computer Science : Selected Papers
edited by Janis Bārzdinš, Dines Bjørner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 502
オンライン: http://dx.doi.org/10.1007/BFb0019352
5.

電子ブック
ＥＢ
5. Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings
edited by Kesav V. Nori, C. E. Veni Madhavan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 472
オンライン: http://dx.doi.org/10.1007/3-540-53487-3
6.

電子ブック
ＥＢ
6. Foundations of Software Technology and Theoretical Computer Science : Ninth Conference, Bangalore, India December 19–21, 1989 Proceedings
edited by C. E. Veni Madhavan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 405
オンライン: http://dx.doi.org/10.1007/3-540-52048-1