Encapsulating non-determinacy in an abstract data type with determinate semantics (1991)

by F Warren Burton
Venue:Journal of Functional Programming