Non-determinism in functional languages (1992)

by H Søndergaard, P Sestoft
Venue:The Computer Journal