Concurrency: State Models and Java Programs
..."this well written book [...] will be useful to those designing distributed systems"  --Computing Reviews, June 2000