separating nondeterminism from determinism (1984)

by Towards
Venue:Mathematical Systems Theory