@PhdThesis{Leinenbach:CV08,
  author =       "Dirk Carsten Leinenbach",
  title =        "Compiler Verification in the Context of Pervasive System Verification",
  school =       "Saarland University, Computer Science Department",
  month =        jul,
  year =         "2008",
  URL =          "http://www-wjp.cs.uni-sb.de/publikationen/Lei08.pdf",
}