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