Software specification methods : - Frappier, Marc 1965-; Habrias, Henri (Formal approaches to computing and information technology, 2001)