@InProceedings{Leinenbach:SSV08-23,
  author =    "Dirk Leinenbach and Elena Petrova",
  title  =    "Pervasive Compiler Verification -- {From} Verified Programs to Verified Systems",
  booktitle = "3rd International Workshop on Systems Software Verification (SSV 2008)",
  year =      "2008",
  publisher = "Elsevier Science B.V.",
  series =    "Electronic Notes in Theoretical Computer Science",
  volume =    "217C",
  pages =     "23--40",
  ee =        "http://dx.doi.org/10.1016/j.entcs.2008.06.040",
}