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 Bidoit Michel Heftet / 1993 / Engelsk
TAPSOFT'97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings Bidoit Michel Heftet / 1997 / Engelsk
Algebraic System Specification and Development A Survey and Annotated Bibliography Bidoit Michel Heftet / 1991 / Engelsk
CASL User Manual Introduction to Using the Common Algebraic Specification Language Bidoit Michel Heftet / 2004 / Engelsk
