Countable Non-Determinism and Uncountable Limits. - Pietro Di Gianantonio; Furio Honsell; Silvia Liani; Gordon D. Plotkin (CONCUR, 1994)