Nielson, H. R. Computation Sequences: A Way to Characterize Subclasses of Attribute Grammars. DPB 1981, 10.