Jeremy Manson William W. Pugh Core semantics of multithreaded Java. 29-38 2001 conf/java/2001 Java Grande http://portal.acm.org/citation.cfm?id=376656.376806 db/conf/java/java2001.html#MansonP01