Concurrency state models & Java programs - Magee, Jeff 1952-; Kramer, Jeff 1949- (Wiley, 2002)