Hayes, Ian., ed <br/><br/>
Specification case studies 
ed by Ian Hayes 
 - Englewood Cliffs  Prentice Hall  1987 
 - 332p. 
 - Prentice-Hall international series in computer science   .
<br/><br/><label>ISBN: </label>013826595X 
<br/><br/><label>Dewey Class. No.: </label>005.12  / N871