1. S. R. Adams. Modular Grammars for Programming Language Prototyping. PhD thesis, Department of Electronics and Computer Science, University of Southampton, UK, 1993.
2. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
3. D. Batory, V. Singhal, J. Thomas, S. Dasari, B. Geraci, and M. Sirkin. The GenVoca model of software-system generators. IEEE Software, 11(5):89–94, 1994.
4. R. S. Bird. A formal development of an efficient supercombinator compiler. Science of Computer Programming, 8(2):113–137, 1987.
5. R. S Bird. Introduction to Functional Programming in Haskell. International Series in Computer Science. Prentice Hall, 1998.