1. Aho, A. V, Sethi, R, and Ullman, J. D. Compilers: Principles, Techniques, and Tools. Addison Wesley, [1986].
2. Chirica, L. M. and Martin, D. F. An Order-Algebraic Definition of Knuthian Semantics. Math. Systems Theory 13, pp. 1–27, [1979].
3. Christiansen, H. Structure Sharing in Attribute Grammars. In Programming Languages Implementation and Logic Programming, Orléans (Deransart, P, Lorho, B, and Maluszynski, J, eds.), pp. 180–200. Volume 348 of LNCS. Springer-Verlag, May, [1988].
4. Cousot, P and Cousot, R. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In 4th POPL, Los Angeles, CA, pp. 238–252, Jan., [1977].
5. Deransart, P, Jourdan, M, and Lorho, B. Attribute grammars. Definitions, systems, and bibliography. Volume 323 of LNCS. Springer-Verlag, [1988].