Gérard P. Huet Bernard Lang Proving and Applying Program Transformations Expressed with Second-Order Patterns. 31-55 1978 11 Acta Inf. db/journals/acta/acta11.html#HuetL78 http://dx.doi.org/10.1007/BF00264598