@book{SeidlWH2012,
  author = {Helmut Seidl and Reinhard Wilhelm and Sebastian Hack},
  title = {Compiler {D}esign - {A}nalysis and {T}ransformation},
  year = 2012,
  publisher = {Springer},
  doi = {10.1007/978-3-642-17548-0},
}