Hildebrandt, T. T.; Panangaden, P.; Winskel, G. Relational Semantics of Non-Deterministic Dataflow. BRICS 1997, 4.