Riedewald, G. and Forbig, P. 1987. Software specification methods and attribute grammars. Acta Cybernetica. 8, 1 (Jan. 1987), 89-114.