1. Aho, A., Lam, M., Ullman, J., Sethi, R.: Compilers: Principles, Techniques, and Tools. Pearson Education (1986)
2. Aho, A., Ullman, J.: Principles of Compiler Design. Addison-Wesley Series in Computer Science and Information Processing. Addison-Wesley Publ. (1977)
3. Baader, F., Snyder, W.: Unification Theory. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, ch. 8, pp. 441–523. The MIT Press (2001)
4. Baader, F., Büttner, W.: Unification in commutative idempotent monoids. Theoretical Computer Science 56, 345–352 (1988)
5. Basso-Blandin, A., Delaplace, F.: Gubs, a behavior-based language for open system dedicated to synthetic biology. CoRR abs/1206.6098 (2012)