Non-Determinism in Functional Languages (1992)

by H Sondergaard, P Sestoft
Venue:The Computer Journal