The semantics of non-determinism (1973)

by M Hennessy, E A Ashcroft
Venue:in: Automata, Languages and Programming