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