@inproceedings {271007,
	author = {J Strother Moore and George M. Porter},
	title = {An Executable Formal Java Virtual Machine Thread Model},
	booktitle = {Java (TM) Virtual Machine Research and Technology Symposium (JVM 01)},
	year = {2001},
	address = {Monterey, CA},
	url = {https://www.usenix.org/conference/jvm-01/executable-formal-java-virtual-machine-thread-model},
	publisher = {USENIX Association},
	month = apr
}
