1.

電子ブック
ＥＢ
1. Recent Trends in Data Type Specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers
edited by Michel Bidoit, Christine Choppy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 655
オンライン: http://dx.doi.org/10.1007/3-540-56379-2
2.

電子ブック
ＥＢ
2. Algebraic system specification and development : A survey and annotated bibliography
edited by Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 501
オンライン: http://dx.doi.org/10.1007/BFb0018512