Danvy, O. A Rational Deconstruction of Landin’s SECD Machine. BRICS 2003, 10.