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