Jerald S. Schwartz Denotational Semantics of Parallelism. 191-202 1979 conf/scc/1979 Semantics of Concurrent Computation db/conf/scc/scc1979.html#Schwartz79