Countable nondeterminism and random assignment (1986)

by K R Apt, G D Plotkin
Venue:A GRAPH MODEL FOR IMPERATIVE COMPUTATION 35