G.D.: Countable nondeterminism and random assignment (1986)

by K R Apt, Plotkin
Venue:Journal of the ACM