Jean-Raymond Abrial Stephen A. Schuman Non-Deterministic System Specification. 34-50 1979 conf/scc/1979 Semantics of Concurrent Computation db/conf/scc/scc1979.html#AbrialS79