@inproceedings {267338,
	author = {Aaron Bohannon and Benjamin C. Pierce},
	title = {Featherweight Firefox: Formalizing the Core of a Web Browser},
	booktitle = {USENIX Conference on Web Application Development (WebApps 10)},
	year = {2010},
	url = {https://www.usenix.org/conference/webapps-10/featherweight-firefox-formalizing-core-web-browser},
	publisher = {USENIX Association},
	month = jun
}
