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