Harald Søndergaard Peter Sestoft Non-Determinism in Functional Languages. 514-523 1992 35 Comput. J. 5 db/journals/cj/cj35.html#SondergaardS92 http://dx.doi.org/10.1093/comjnl/35.5.514