Ralph-Johan Back: Semantics of Unbounded Nondeterminism. ICALP 1980: 51-63