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