Partsch, Helmut A <br/><br/>
Specification and transformation of programs  a formal approah to software development 
by Helmut A Partsch 
 - Berlin  S-V  1990 
 - xiii,493p 
 - Texts and monographs in computer science .
<br/><br/><label>ISBN: </label>0387525890 
<br/><br/><label>Dewey Class. No.: </label>005.1  / N902