Software specification methods - Habrias, Henri (ed) & Frappier, Marc (ed) (ISTE Ltd, London, 2007)