Hildebrandt, T. T., Panangaden, P. and Winskel, G. (1997) “Relational Semantics of Non-Deterministic Dataflow”, BRICS Report Series, 4(36). doi: 10.7146/brics.v4i36.18962.