A cook's tour of countable nondeterminism (1981)

by K R Apt, G D Plotkin
Venue:Proceedings of ICALP 81