O. Danvy, “A Lambda-Revelation of the SECD Machine”, BRICS, bd. 9, nr. 53, dec. 2002.