On Observing Nondeterminism and Concurrency

By M. Hennessy, Robin Milner. 1980