H. R. Nielson, “Computation sequences: A way to characterize subclasses of attribute grammars”., DPB, vol. 10, no. 138, Nov. 1981.