Hung Dang Van and Knuth Előd: A noninterleaving semantics for communicating sequential processes : a fixed-point approach. In: Acta cybernetica, (8) 3. pp. 293-311. (1988)