John D. Ramsdell The Tail-Recursive SECD Machine. 43-62 1999 23 J. Autom. Reasoning 1 db/journals/jar/jar23.html#Ramsdell99