J. Strother Moore George Porter An Executable Formal Java Virtual Machine Thread Model. 91-104 2001 conf/jvm/2001 Java™ Virtual Machine Research and Technology Symposium http://www.usenix.org/publications/library/proceedings/jvm01/moore.html db/conf/jvm/jvm2001.html#MooreP01