Charles Consel Binding Time Analysis for High Order Untyped Functional Languages. 264-272 1990 LISP and Functional Programming http://doi.acm.org/10.1145/91556.91668 db/conf/lfp/lfp1990.html#Consel90