@book{Seidl07Uebersetzerbau,
  author = {Reinhard Wilhelm and Helmut Seidl},
  title = {\"Ubersetzerbau: {V}irtuelle {M}aschinen},
  booktitle = {\"Ubersetzerbau: Virtuelle Maschinen},
  year = 2007,
  pages = {192},
  publisher = {Springer},
}