Reference counting can manage the circular environments of mutual recursion (1979)

by D P Friedman, D S Wise
Venue:Inform. Proc. Ltrs