JVM Bytecode Verification Without Dataflow Analysis. - Ian Bayley; Sam Shiel (Bytecode@ETAPS, 2005)

A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine. - Sam Shiel; Ian Bayley (Bytecode@ETAPS, 2005)