1. Compilers Principles, Techniques, and Tools;Aho,1986
2. Derivatives of regular expressions;Brzozowski;Journal of the ACM,1964
3. Higher-order unification and matching;Dowek,2001
4. M. Gasbichler, M. Neubauer, M. Sperber, and P. Thiemann. Functional logic overloading. In J. Mitchell, editor, Proc. 29th Annual ACM Symposium on Principles of Programming Languages, pages 233–244, Portland, OR, USA, Jan. 2002. ACM Press.
5. K. Glynn, P. Stuckey, and M. Sulzmann. Type classes and constraint handling rules. In First Workshop on Rule-Based Constraint Reasoning and Programming, July 2000.