@PhdThesis{Petrova:VCCI07,
  author =       "Elena Petrova",
  title =        "Verification of the {C0} Compiler Implementation on
                 the Source Code Level",
  school =       "Saarland University, Computer Science Department",
  month =        may,
  year =         "2007",
  URL =          "http://www-wjp.cs.uni-sb.de/publikationen/Petr07.pdf",
}