@PREAMLE{\usepackage{url}}
@misc{Kohlhase:pdpl10,
  author = {Michael Kohlhase},
  title = {Preparing {DFG} Proposals in {\LaTeX} with \texttt{dfgproposal.cls}},
  institution = {KWARC Group, Jacobs University Bremen},
  howpublished = {Self-documenting {\LaTeX} package, \url{https://svn.kwarc.info/repos/kwarc/doc/macros/forCTAN/dfgproposal.pdf}; ask the author for access},
  year = 2010}
@misc{providemore,title={\ldots should provide more high-class references \ldots},author = {the proposal authors}}
@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}}
@article{KohDavGin:psewads11,
 journal = {Procedia Computer Science},
 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},
  issuetitle = {Special issue: Proceedings of the International Conference on Computational Science (ICCS)},
  editor = {Mitsuhisa Sato and Satoshi Matsuoka and Peter M. Sloot and G. Dick van Albada and Jack Dongarra},
  pages = {598--607},
  venue = {Nanyang Technological University, Singapore},
  eventdate = {2011-06-01/2011-06-03},
  note = 	 {Finalist at the Executable Paper Grand Challenge},
  year = 	 2011,
  volume = 4,
  url = {http://kwarc.info/kohlhase/papers/epc11.pdf},
  publisher = {Elsevier},
  doi = {10.1016/j.procs.2011.04.063},
  keywords = {conference},
  pubs = {mkohlhase,cdavid,dginev,akohlhase,clange,bmatican,smirea,vzholudev,projects/planetary,projects/ikyda2012},
  acceptancerate = {14},
  acceptancerateCOMMENT = {10/70 accepted into the finals}}
@InProceedings{Lange:OpenMathCDLinkedData10,
  author =       {Christoph Lange},
  title =        {Towards {OpenMath} Content Dictionaries as Linked Data},
  crossref =     {OM10},
  eprint = {1006.4057v1},
  eprinttype = {arxiv},
  eprintclass = {cs.DL},
  pubs = {clange,projects/ikyda2012}}
@PROCEEDINGS{OM10,
  editor = {Michael Kohlhase and Christoph Lange},
  title = {23\textsuperscript{rd} OpenMath Workshop},
  booktitle = {23\textsuperscript{rd} OpenMath Workshop},
  url = {http://cicm2010.cnam.fr/om/},
  year = {2010},
  month = jul}
