Software specification methods - Habrias, Henri; Frappier, Marc 1965- (ISTE, 2006)