O. Danvy, “A Lambda-Revelation of the SECD Machine”, BRICS, vol. 9, no. 53, Dec. 2002.