A Cook's Tour of Countable Nondeterminism

@inproceedings{Apt1981ACT,
  title={A Cook's Tour of Countable Nondeterminism},
  author={Krzysztof R. Apt and Gordon D. Plotkin},
  booktitle={ICALP},
  year={1981}
}