Balland, E.; Moreau, P.-E. Optimizing Pattern Matching Compilation by Program Transformation. eceasst 2007, 3.