Virtual Machines - Craig, Iain D. (Springer London, 2006)