Ph. Schnoebelen Refined Compilation of Pattern-Matching for Functional Languages. 133-159 1988 11 Sci. Comput. Program. 2 db/journals/scp/scp11.html#Schnoebelen88