Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors. - Robert Giegerich; Karl Schmal (ESOP, 1988)