A formal formal specification of Java Virtual Machine instructions (1999)

by Z Qian
Venue:Formal Syntax and Semantics of Java, volume 1523 of LNCS