Concurrency state models & Java programs - Magee, Jeff 1952-; Kramer, Jeff 1949- (Worldwide series in computer science, 1999)