Ralph-Johan Back Semantics of Unbounded Nondeterminism. 51-63 1980 conf/icalp/1980 ICALP db/conf/icalp/icalp80.html#Back80 http://dx.doi.org/10.1007/3-540-10003-2_59