Janet A. Walz Gregory F. Johnson Inductive Attribute Grammars: A Basis for Incremental Program Execution Acta Inf. 32 2 1995 117-144 db/journals/acta/acta32.html#WalzJ95