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
Foundations of Computer Software: Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers Choppy Christine Heftet / 2010 / Engelsk
Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers Bert Didier Heftet / 2000 / Engelsk
