Countable non-determinism and uncountable limits (1994)

by P Di Gianantonio, F Honsell, S Liani, G D Plotkin
Venue:In Proceedings of CONCUR ’94, Springer LNCS 836