John Clements Matthias Felleisen A Tail-Recursive Semantics for Stack Inspections. 22-37 2003 conf/esop/2003 ESOP http://link.springer.de/link/service/series/0558/bibs/2618/26180022.htm db/conf/esop/esop2003.html#ClementsF03