Jeff Magee & Jeff Kramer, Concurrency: State Models & Java Programs,
Second Edition
ISBN: 978-0-470-09355-9, ©2006
Publish date: July 2006.
434 pages, Hardcover.
Publisher: Wiley