Bruno Courcelle Paul Franchi-Zannettacci Attribute Grammars and Recursive Program Schemes I. 163-191 1982 17 Theor. Comput. Sci. db/journals/tcs/tcs17.html#CourcelleF82