Concurrency state models & Java programs - Magee, Jeff (Wiley, 1999)