A Rational Deconstruction of Landin's SECD Machine with the J Operator (Logical Methods in Computer Science, 2008)