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