David R. Lester: The G-machine as a representation of stack semantics. FPCA 1987: 46-59