A Cook's Tour of Countable Nondeterminism.

Krzysztof R. Apt, Gordon D. Plotkin

Browse the full ICALP paper archive.