The Java virtual machine specification has been written to fully document the design of the Java virtual machine. It is essential for compiler writers who wish to target the Java virtual machine and for programmers who want to implement a compatible Java
S. Shiel, and I. Bayley. Electronic Notes in Theoretical Computer Science, 141 (1):
35--52(2005)Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005).
G. Wagner, A. Gal, and M. Franz. PPPJ '08: Proceedings of the 6th international symposium on Principles and practice of programming in Java, page 117--126. New York, NY, USA, ACM, (2008)