K. R. Apt and G. D. Plotkin, “A Cook’s Tour of Countable Nondeterminism”, DPB, vol. 10, no. 133, Jan. 1981.