Nielson, H. R. (1981). Using computation sequences to define evaluators for attribute grammars. DAIMI Report Series, 10(139). https://doi.org/10.7146/dpb.v10i139.7413