Mills, Bruce. <br/><br/>
Practical formal software engineering:  wanting the software you get/ 
Bruce Mills. 
 - Cambridge:  Cambridge University Press,  c2009. 
 - xxxiii, 339 pages;  25 cm. 
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>978-0-521-87903-3 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.
<br/><br/><label>Dewey Class. No.: </label>DC 005.1  / M62p