Sets and the Semantics of Bounded Non-Determinism (1986)

by C A Gunter