Kari-Jouko Räihä Mikko Saarinen Testing Attribute Grammars for Circularity. 185-192 1982 17 Acta Inf. db/journals/acta/acta17.html#RaihaS82