Apt, K. R.; Plotkin, G. D. A Cook’s Tour of Countable Nondeterminism. DPB 1981, 10.