Riedewald, Guenter, and Peter Forbig. “Software Specification Methods and Attribute Grammars”. Acta Cybernetica 8, no. 1 (January 1, 1987): 89-114. Accessed January 17, 2022. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3323.