"Deterministic Higher-Order Patterns for Program Transformation."

Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics