Concurrency: State Models and Java Programs by Jeff Magee (English) Hardcover