@InProceedings{Wenzel:UITP2010-,
  author =       "Makarius Wenzel",
  title =        "Asynchronous Proof Processing With {Isabelle/Scala}
                 and {Isabelle/jEdit}",
  editor =       "Claudio Sacerdoti Coen and David Aspinall",
  booktitle =    "Workshop on User Interfaces for Theorem Provers (UITP
                 2010)",
  address =      "Edinburgh, UK",
  year =         "2010",
  publisher =    "Elsevier Science B.V.",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "To appear.",
}