Tools and notions for program construction  an advanced course 
edited by D. Neel 
 - Cambridge  Cambridge University Press  1982 
 - 399p. :  ill. ;  23cm 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming--Addresses, essays, lectures