@InProceedings{Wenzel:PLMMS2009-,
  author =       "Markus Wenzel",
  title =        "Parallel Proof Checking in {Isabelle}~/ {Isar}",
  editor =       "R. Dos Reis and L. Th{\'e}ry",
  booktitle =    "The ACM SIGSAM 2009 International Workshop on
                 Programming Languages for Mechanized Mathematics
                 Systems (PLMMS 2009)",
  year =         "2009",
  month =        aug,
  publisher =    "ACM",
  note =         "To appear.",
}