Peer Reviews in Software: A Practical Guide
Software Inspection
Effective Java (2nd Edition)
Java Concurrency in Practice
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers