Neel D(ed) <br/><br/>
Tools and notions for program construction 

 - Cambridge University Press, London  1982 
 - xiii,399 
<br/><br/><label>ISBN: </label>0-521-24801-9 
<br/><br/><label>Dewey Class. No.: </label>001.642 Nee