Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek: Pattern-Matching Compiler. LDTA@ETAPS 2001: 161-180