COMPILER DESIGN VIRTUAL MACHINES - WILHELM,REINHARD (SSBM, 2011)