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