Sigbjørn Finne, Geoffrey Livingston Burn: Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine. FPCA 1993: 331-340