Hussmann, Heinrich <br/><br/>
Formal foundations for software engineering methods 
Heinrich Hussmann 
 - Berlin  Springer  c1997 
 - x, 286 p. : ill. ; 24 cm 
<br/><br/> Includes bibliographical references (p. [271]-277) and index 
<br/><br/><label>ISBN: </label>9783540636137 
<br/><br/><label>ISSN: </label>97031867 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering
<br/><br/><label>Dewey Class. No.: </label>005.1 HUB