Nielson, H. R. (1981) “Computation sequences: A way to characterize subclasses of attribute grammars”., DAIMI Report Series, 10(138). doi: 10.7146/dpb.v10i138.7946.