1. A. Asperti, V. Danos, C. Laneve, L. Regnier, Paths in the lambda-calculus, in: Proc. 9th IEEE Symp. on Logic in Comput. Sci., 1994, pp. 426–436.
2. The optimal implementation of functional programming languages;Asperti,1998
3. Fundamental properties of infinite trees;Courcelle;Theoretical Comput. Sci.,1983
4. Equivalence and transformations of regular systems—applications to recursive program schemes and grammars;Courcelle;Theoretical Comput. Sci.,1986
5. Recursive applicative program schemes;Courcelle,1990