R D Tennent <br/><br/>
Specify Software A hands On Introduction 

 - Cambridge  Cambridge University Press   2002 
 - 285  Includes Index 
<br/><br/><label>ISBN: </label>0521004012