Luca Cardelli Giuseppe Longo A Semantic Basis for Quest. 30-43 1990 LISP and Functional Programming http://doi.acm.org/10.1145/91556.91586 db/conf/lfp/lfp1990.html#CardelliL90