Álvarez Gil R.: Giving mathematical semantics of nondeterministic and parallel programming structures by means of attribute grammars. In: Acta cybernetica, (7) 4. pp. 413-423. (1986)