High Assurance Services Computing by Springer-Verlag New York Inc. (Hardback, 2009)