T. T. Hildebrandt, P. Panangaden, and G. Winskel, “Relational Semantics of Non-Deterministic Dataflow”, BRICS, vol. 4, no. 36, Jun. 1997.