Non-deterministic Programming in a Deterministic Functional Language (1988)

by L Augustsson
Venue:Department of Computer Sciences, Chalmers University of Technology