Francez, N., Hoare, C., Lehmann, D., & de Roever, W. (1979). Semantics of Nondeterminism‚ Concurrency and Communication.

Francez, N., C. Hoare, D. Lehmann, and W. de Roever. Semantics of Nondeterminism‚ Concurrency and Communication. 1979.

Francez, N., et al. Semantics of Nondeterminism‚ Concurrency and Communication. 1979.