Alan Carle Lori L. Pollock On the Optimality of Change Propagation for Incremental Evaluation of Hierarchical Attribute Grammars. 16-29 1996 18 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/225540.225542 db/journals/toplas/toplas18.html#CarleP96