"Concurrency: State Models & Java Programs" - читать интересную книгу автора (Jeff Magee, Jeff Kramer)