A Nondeterministic Constructor for Applicative Programming (1980)

by D Friedman, D Wise
Venue:Proc. of Conference on Principles of Programming Languages, ACM SIGPLAN