Tennent, R. D. <br/><br/>
Specifying Software: A Hands-on introduction 

 - Cambridge  Cambridge University Press  2001 
 - xii, 289p. 
<br/><br/><label>ISBN: </label>978-0-521-80814-9