1. Aho A., Sethi R., & Ullman J. “Compilers: Principles, Techniques, and Tools” Addison-Wesley, Reading, Mass., 1986
2. Attali I. & Franchi-Zannettacci P. “Prolog-like schemes for Ada static semantics” Ada UK news, 6, 2, 1985
3. Attali I. & Franchi-Zannettaci P. “Unification-free Execution of TYPOL Programs by Semantic Attribute Evaluation”, Proceedings Fifth International Conference Symposium on Logic Programming, Seattle, August 1988, MIT Press.
4. Berry G. & Sethi R. “From regular expressions to deterministic automata” TCS 48, 1, 1986
5. Bochmann G. “Semantic evaluation from left to right” CACM 19, 2, 55–62, 1976