The tail-recursive SECD machine (1999)

by J D Ramsdell
Venue:Journal of Automated Reasoning