"An Indeterminate Constructor for Applicative Programming."

Daniel P. Friedman, David S. Wise (1980)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics