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