"TIM: A simple, lazy abstract machine to execute supercombinatorics."

Jon Fairbairn, Stuart Wray (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics