Towards separating nondeterminism from determinism (1984)

by R Kannan
Venue:Mathematical Systems Theory