A type system for the Java bytecode language and verifier
scientific article; zbMATH DE number 1977866