Software Specification Methods: An Overview Using a Case Study: Marc Frappier and Henri Habrias (Eds.), 282 pages, Berlin, Heidelberg, New York, London, Paris, Tokyo, Honk Kong: Springer 2001, ISBN 1-85233-353-7.
Dieter RichterPublished in: Comput. Stand. Interfaces (2001)