Burstall, R. M.; MacQueen, D. B.; Sannella, D. T. (1980). "Hope: An Experimental Applicative Language". Proc. 1980 LISP Conference(PDF). Stanford University, Stanford, California, United States. p. 136–143.{{cite book}}: CS1 maint: location missing publisher (link)