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. էջեր 147–166. CiteSeerX10.1.1.2.4663. doi:10.1145/320384.320397. ISBN978-1581132380. S2CID14302964.
dragome.com
«Dragome Web SDK». Dragome.com. Արխիվացված օրիգինալից 2015 թ․ օգոստոսի 1-ին. Վերցված է 2015 թ․ հունիսի 26-ին.
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. էջեր 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. էջեր 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. Արխիվացված օրիգինալից 2011 թ․ մարտի 21-ին. Վերցված է 2009 թ․ մայիսի 31-ին.
«The Verification process». The Java Virtual Machine Specification. Sun Microsystems. 1999. Արխիվացված օրիգինալից 2011 թ․ մարտի 21-ին. Վերցված է 2009 թ․ մայիսի 31-ին.