Countable nondeterminism and uncountable limits (1994)

by P Di Gianantonio, F Honsell, G D Plotkin
Venue:In CONCUR ’94, SLNCS 836