On observing nondeterminism and concurrency - Hennessy, Matthew; Milner, Robin 1934-2010 (University <Edinburgh>, 1980)