Álvarez Gil, R. 1986. “Giving Mathematical Semantics of Nondeterministic and Parallel Programming Structures by Means of Attribute Grammars”. Acta Cybernetica 7 (4), 413-23. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3309.