"On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations."

Fairouz Kamareddine, Roel Bloo, Rob Nederpelt (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics