@TECHREPORT{CarlisleEd:MathML10,
  author = {Ron Ausbrooks and Stephen Buswell and David Carlisle and
      Giorgi Chavchanidze and St{\'e}phane Dalmas and Stan Devitt and Angel Diaz
      and Sam Dooley and Roger Hunter and Patrick Ion and Michael
      Kohlhase and Azzeddine Lazrek and Paul Libbrecht and Bruce Miller and
      Robert Miner and Murray Sargent and Bruce Smith and Neil Soiffer and
      Robert Sutor and Stephen Watt},
  title = {{Mathematical} {Markup} {Language} ({MathML}) Version 3.0},
  institution = {World Wide Web Consortium (W3C)},
  year = {2010},
  type = {{W3C Recommendation}},
  editor = {David Carlisle and Patrick Ion and Robert Miner},
  key = {MathML3},
  keywords = {standard},
  pubtype = {standard},
  url = {http://www.w3.org/TR/MathML3},
  pubs = {mkohlhase}}

@inproceedings{KohDavGin:psewads11,
 author = {Michael Kohlhase and Joe Corneli and Catalin David and Deyan Ginev and Constantin Jucovschi and Andrea Kohlhase and Christoph Lange and Bogdan Matican and Stefan Mirea and Vyacheslav Zholudev},
  title = 	 {The Planetary System: Web 3.0 \& Active Documents for STEM},
  note = 	 {accepted for publication at ICCS 2011 (Finalist at the Executable Papers Challenge)},
  year = 	 2011,
  url = {https://svn.mathweb.org/repos/planetary/doc/epc11/paper.pdf},
  keywords = {conference},
  pubs = {mkohlhase,cdavid,dginev,akohlhase,clange,bmatican,smirea,vzholudev}}

@techreport{Kohlhase:pdpl10,
  author = {Michael Kohlhase},
  title = {Preparing {DFG} Proposals in {\LaTeX} with \texttt{dfgproposal.cls}},
  institution = {KWARC Group, Jacobs University Bremen},
  type = {Self-documenting {\LaTeX} package},
  url = {https://svn.kwarc.info/repos/kwarc/doc/macros/forCTAN/dfgproposal.pdf},
  year = 2010}
@BOOK{Kohlhase:omdoc1.2,
  title = {{\sc OMDoc} -- An open markup format for mathematical documents [Version 1.2]},
  booktitle = {{\sc OMDoc} -- An open markup format for mathematical documents [Version
    1.2]},
  publisher = {Springer Verlag},
  year = {2006},
  month = aug,
  author = {Michael Kohlhase},
  number = {4180},
  series = {LNAI},
  url = {http://omdoc.org/pubs/omdoc1.2.pdf},
pubs = {mkohlhase,projects/omdocbiblio}}
@Article{StaKoh:tlcspx10,
  author = 	 {Heinrich Stamerjohanns and Michael Kohlhase and Deyan Ginev and Catalin David and Bruce Miller},
  title = 	 {Transforming large collections of scientific publications to {XML}},
  journal =      {Mathematics in Computer Science},
  issuetitle = {Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge},
  editor = {Serge Autexier and Petr Sojka and Masakazu Suzuki},
  publisher =    {Birkh{\"a}user},
  volume = 3,
  number = 3,
  pages = {299--307},
  url = {http://kwarc.info/kohlhase/papers/mcs10.pdf},
  year = 	 2010,
  pubs = {mkohlhase,stamer,dginev,cdavid,projects/arXMLiv}}

@misc{providemore,title={\ldots}}
@BOOK{Lamport:ladps94,
  title = {LaTeX: A Document Preparation System, 2/e},
  publisher = {Addison Wesley},
  year = {1994},
  author = {Leslie Lamport}}
@BOOK{Knuth:ttb84,
  title = {The {\TeX}book},
  publisher = {Addison Wesley},
  year = {1984},
  author = {Donald E. Knuth}}
@BOOK{DK:LP,
  title = {{Literate Programming}},
  publisher = {The University of Chicago Press},
  year = 1992,
  author = {Donald E. Knuth}}
