1. A. Augusteijn, Functional programming, program transformations and compiler construction, Ph.D. Thesis, Department of Computing Sciences, Eindhoven University of Technology, The Netherlands, 1993.
2. A functional semantics of attribute grammars;Backhouse,2002
3. Attribute grammars as recursion schemes over cyclic representations of zippers;Badouel;Electronic Notes in Theoretical Computer Science,2011
4. Using circular programs to eliminate multiple traversals of data;Bird;Acta Informatica,1984
5. On building cyclic and shared structures in Haskell;Bird;Formal Aspects of Computing,2012