E. Balland and P.-E. Moreau, “Optimizing Pattern Matching Compilation by Program Transformation”, eceasst, vol. 3, Feb. 2007.