Programming Language Semantics Java Threads and Locks Informal Introduction The Java Specification Language Chapter 17.
