Yasuhiko Minamide: Selective Tail Call Elimination. SAS 2003: 153-170