Concurrency : state models & Java programs - Magee, Jeff, 1952- (Wiley, 2006)