R. Álvarez Gil, “Giving mathematical semantics of nondeterministic and parallel programming structures by means of attribute grammars”, Acta Cybern, vol. 7, no. 4, pp. 413-423, Jan. 1986.