Apt, K. R.

• DAIMI Report Series No. 133 (1981): PB-133 A Cook's Tour of Countable Nondeterminism - Articles
  A Cook's Tour of Countable Nondeterminism
  Abstract  PDF