Olivier Danvy & others  <br/><br/>
Automatic program development 

 - New York    Springer Sci  2008 
 - 272 
<br/><br/><label>ISBN: </label>9781402065842