Chris Hanson Efficient Stack Allocation for Tail-Recursive Languages. 106-118 1990 LISP and Functional Programming http://doi.acm.org/10.1145/91556.91603 db/conf/lfp/lfp1990.html#Hanson90