Herlihy, M The art of multiprocessor programming - U S A Elsevier 2012 - xxiv, 508p. ISBN: 978-9-382-29151-0