Danvy, O. (2002) “A Lambda-Revelation of the SECD Machine”, BRICS Report Series, 9(53). doi: 10.7146/brics.v9i53.21768.