TY  - BOOK
AU  - Danvy,Olivier
TI  - Automatic program development: a tribute to Robert Paige 
SN  - 9781402065842
PY  - 2008///
CY  - Dordrecht
PB  - Springer Science + Business Media B. V
KW  - Programming (Mathematics)
KW  - Computer algorithms
ER  -