Freund, Stephen N.; Mitchell, John C. (1999). «A formal framework for the Java bytecode language and verifier». Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '99. [S.l.: s.n.] pp.147–166. ISBN978-1581132380. doi:10.1145/320384.320397
David J. Eck, Introduction to Programming Using Java, Sétima Edição, Versão 7.0, agosto de 2014 na Seção 1.3 "The Java Virtual Machine", arquivado em 11 de outubro de 2014 no Wayback Machine.
Oracle JRockit Introduction Versão R28 em 2. "Understanding Just-In-Time Compilation and Optimization", arquivado em 6 de setembro de 2015 no Wayback Machine.