Habrias, Henri (ed) & Frappier, Marc (ed) Software specification methods - ISTE Ltd, London 2007 - xxv,418 ISBN: 1-905209-34-7 Dewey Class. No.: 004.0151 Hab/Fra