T. T. Hildebrandt, P. Panangaden, og G. Winskel, “Relational Semantics of Non-Deterministic Dataflow”, BRICS, bd. 4, nr. 36, jun. 1997.