A straightforward denotational semantics for non-determinate data flow programsPaul R. Kosinski1978POPL 1978