Concurrency state models and Java programs - Magee, Jeffrey L. (Worldwide series in computer science, 1999)