Completeness of a bytecode verifier and a certifying Java-to-JVM compiler
scientific article; zbMATH DE number 1977867