"Uses of Higher-Order Unification for Implementing Program Transformers."

John Hannan, Dale Miller (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics