1.

電子ブック
ＥＢ
1. Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 906
オンライン: http://dx.doi.org/10.1007/BFb0014419
2.

電子ブック
ＥＢ
2. Mathematical Foundations of Computer Science 1991 : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings
edited by Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 520
オンライン: http://dx.doi.org/10.1007/3-540-54345-7