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. pp. 147–166. CiteSeerX10.1.1.2.4663. doi:10.1145/320384.320397. ISBN978-1581132380. S2CID14302964.
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. pp. 147–166. CiteSeerX10.1.1.2.4663. doi:10.1145/320384.320397. ISBN978-1581132380. S2CID14302964.
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. pp. 147–166. CiteSeerX10.1.1.2.4663. doi:10.1145/320384.320397. ISBN978-1581132380. S2CID14302964.
"The Verification process". The Java Virtual Machine Specification. Sun Microsystems. 1999. Archived from the original on 2011-03-21. Retrieved 2009-05-31.
"The Verification process". The Java Virtual Machine Specification. Sun Microsystems. 1999. Archived from the original on 2011-03-21. Retrieved 2009-05-31.