Apt, K. R., & Plotkin, G. D. (1981). A Cook’s Tour of Countable Nondeterminism. DAIMI Report Series, 10(133). https://doi.org/10.7146/dpb.v10i133.18448