Automatic Program Development A Tribute to Robert Paige - Danvy, Olivier; SpringerLink (Online service) (Dordrecht : Springer Science + Business Media B. V, 2008)
Keywords: Programming (Mathematics); Computer algorithms; Computer Science; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Software Engineering/Programming and Operating Systems