Virtual machines - Craig, I. (Springer-Verlag, 2006)