Jeremy Manson, William W. Pugh: Core semantics of multithreaded Java. Java Grande 2001: 29-38