Verification of Attribute Grammars. - Takuya Katayama; Yutaka Hoshino (POPL, 1981)