Automatic program development :  a tribute to Robert Paige / 
edited by Olivier Danvy ... [et al.] 
 - Dordrecht :  Springer Science + Business Media B. V,  2008 
 - xiv, 272 p. :  ill. ;  25 cm. 
<br/><br/><label>ISBN: </label>9781402065842 9781402065859 (electronic bk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming (Mathematics)<br/>Computer algorithms