\input zb-basic \input zb-ioport \iteman{io-port 70651650} \itemau{Finne, Sigbjorn; Burn, Geoffrey L.} \itemti{Assessing the evaluation transformer model of reduction on the spineless G-machine} \itemso{FPCA, 331-340 (1993).} \itemcc{} \itemut{} \itemli{} \end