Apt, K. R., and G. D. Plotkin. “A Cook’s Tour of Countable Nondeterminism”. DAIMI Report Series, vol. 10, no. 133, Jan. 1981, doi:10.7146/dpb.v10i133.18448.