1. Boyland, J. T., “Descriptional Composition of Compiler Components,” Ph.D. thesis, University of California, Berkeley (1996), available as technical report UCB//CSD-96-916.
2. Boyland, J. T., Analyzing direct non-local dependencies in attribute grammars, in: K. Koskimies, editor, Compiler Construction: 7th International Conference, CC'98, Lecture Notes in Computer Science 1383 (1998), pp. 31–49.
3. On the Optimality of Change Propagation for Incremental Evaluation of Hierarchical Attribute Grammars;Carle;ACM Transactions on Programming Languages and Systems,1996
4. Chan, E. C., J. T. Boyland and W. L. Scherlis, Promises: Limited specifications for analysis and manipulation, in: Proceedings of the IEEE International Conference on Software Engineering (ICSE'98) (1998), pp. 167–176.
5. Eli: A complete flexible compiler construction system;Gray;Communications of the ACM,1992