G.D.: A cook’s tour of countable nondeterminism (1981)

by K R Apt, Plotkin
Venue:In: 8th Colloquium on Automata, Languages and Programming. LNCS