1. Java documentation. Java documentation.
2. Zing: Exploiting Program Structure for Model Checking Concurrent Software
3. K. Beck. Embracing change with extreme programming. ’99. K. Beck. Embracing change with extreme programming. ’99.
4. On Reducing Linearizability to State Reachability