Hanne Riis Nielson Computation Sequences: A Way to Characterize Classes of Attribute Grammars. 255-268 1983 19 Acta Inf. db/journals/acta/acta19.html#Nielson83