H. R. Nielson, “Using computation sequences to define evaluators for attribute grammars”, DPB, vol. 10, no. 139, Nov. 1981.