Automatic Program Development : A Tribute to Robert Paige - Olivier Danvy; Fritz Henglein; Harry Mairson; Alberto Pettorossi; Olivier Danvy; Fritz Henglein; Harry Mairson; Alberto Pettorossi (Automatic Program Development : A Tribute to Robert Paige, 2008)