Zhenyu Qian A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. 271-312 http://link.springer.de/link/service/series/0558/bibs/1523/15230271.htm 1999 conf/java/1999formal Formal Syntax and Semantics of Java db/conf/java/formal99.html#Qian99