For people actually interested in parallel programming, particularly on Java, Herlihy's _The Art of Multiprocessor Programming_ is a fantastic introduction. On

For people actually interested in parallel programming, particularly on Java, Herlihy's _The Art of Multiprocessor Programming_ is a fantastic introduction. On top of the grab-bag of techniques you'd expect, it boasts enough formal treatment to help folks learn to reason about correctness in their own programs.