Hubmann,Heinrich <br/><br/>
Formal foundations for software engineering methods / 
Hubmann,Heinrich. 
 - Berlin:  Springer,  1997. 
 - x,286p;26cm 
 - Lecture notes in computer science,No-1322 .
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>3540636137 
<br/><br/><label>Dewey Class. No.: </label>005.1 HUB