Van Horebeck, Ivo. <br/><br/>
Algebraic specifications in software engineering  an introduction 
by Ivo Van Horebeck,John Lewi. 
 - Berlin  S-V  1989 
 - ix, 350p 
<br/><br/><label>ISBN: </label>0387516263 
<br/><br/><label>Dewey Class. No.: </label>005.101512  / N89