Bruno Courcelle. Attribute Grammars: Definitions, Analysis of Dependencies, Proof Methods. In Bernard Lorho, editor, Method and tools for compiler construction, An advanced course, INRIA, 5-16 December 1983. pages 81-102, Cambridge University Press, 1983.
Abstract is missing.