Compositional Specifications of Parallel Programs: NondeterministicData Flow.
K. Chandy, and B. Sanders. Specification of Parallel Algorithms, volume 18 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 51-63. DIMACS/AMS, (1994)