Text this: Encapsulating non-determinacy in an abstract data type with determinate semantics.