"Program Optimizations and Transformations in Calculation Form."

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