Nondeterminism with referential transparency in functional programming languages (1986)

by F W Burton