Compiler Design Virtual Machines - Wilhelm, Reinhard; Seidl, Helmut (Springer Berlin Heidelberg, 2010)