Semantics of Nondeterminism‚ Concurrency and Communication - Francez, N; Hoare, C; Lehmann, D; de Roever, W (Journal of Computer and System Sciences, 1979)