"Automatic Program Development: A Tribute to Robert Paige" - читать интересную книгу автора (Olivier Danvy, Harry Mairson, Fritz Henglein, Alberto Pettorossi)