Jon Fairbairn Stuart Wray TIM: A simple, lazy abstract machine to execute supercombinatorics. 34-45 1987 conf/fpca/1987 FPCA db/conf/fpca/fpca1987.html#FairbairnW87