Álvarez Gil, R. (1986). Giving mathematical semantics of nondeterministic and parallel programming structures by means of attribute grammars. Acta Cybernetica, 7(4), 413-423. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3309