Reverse Execution of Java Bytecode. - Cook, Jonathan J. (Computer Journal, 2002)