Nielson, H. R. “Using Computation Sequences to Define Evaluators for Attribute Grammars”. DAIMI Report Series, vol. 10, no. 139, Nov. 1981, doi:10.7146/dpb.v10i139.7413.