Horebeek, Ivo van <br/><br/>
Algebraic specifications in software engineering :  an introduction / 
Ivo van Horebeek and Johan Lewi 
 - New York :  Springer-Verlag,  c1989. 
 - xiv, 350 p. :  ill. ;  25 cm. 
<br/><br/><label>ISBN: </label>0387516263 
<br/><br/><label>LCCN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering
<br/><br/><label>LC Class. No.: </label>QA76.758  / .H67 1989