Riedewald Guenter and Forbig Peter: Software specification methods and attribute grammars. In: Acta cybernetica, (8) 1. pp. 89-114. (1987)