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