@book{WilhelmS2010,
  author = {Reinhard Wilhelm and Helmut Seidl},
  title = {Compiler {D}esign - {V}irtual {M}achines},
  year = 2010,
  publisher = {Springer},
  doi = {10.1007/978-3-642-14909-2},
}