Java Concurrency - Specification

See Java SE Specifications > Java Language Specification Chapter 17. Threads and Locks