"Improving the official specification of Java bytecode verification."

Alessandro Coglio (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics