Java bytecode verification: Algorithms and formalizations
scientific article; zbMATH DE number 1977865