Danvy, O. A Lambda-Revelation of the SECD Machine. BRICS 2002, 9.