1.1 --- a/doc-src/isac/jrocnik/eJMT-paper/references.bib	Mon Sep 03 20:51:44 2012 +0200
     1.2 +++ b/doc-src/isac/jrocnik/eJMT-paper/references.bib	Wed Sep 05 11:55:10 2012 +0200
     1.3 @@ -194,3 +194,30 @@
     1.4    number = 	 {17},
     1.5    pages = 	 {348-374}
     1.6  }
     1.7 +
     1.8 +@inproceedings{Wenzel-11:doc-orient,
     1.9 + author = {Wenzel, Makarius},
    1.10 + title = {Isabelle as document-oriented proof assistant},
    1.11 + booktitle = {Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics},
    1.12 + series = {MKM'11},
    1.13 + year = {2011},
    1.14 + isbn = {978-3-642-22672-4},
    1.15 + location = {Bertinoro, Italy},
    1.16 + pages = {244--259},
    1.17 + numpages = {16},
    1.18 + url = {http://dl.acm.org/citation.cfm?id=2032713.2032732},
    1.19 + acmid = {2032732},
    1.20 + publisher = {Springer-Verlag},
    1.21 + address = {Berlin, Heidelberg},
    1.22 +} 
    1.23 +
    1.24 +@InProceedings{Makarius-09:parall-proof,
    1.25 +  author = 	 {Wenzel, Makarius},
    1.26 +  title = 	 {Parallel Proof Checking in {Isabelle/Isar}},
    1.27 +  booktitle = {ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS)},
    1.28 +  year = 	 {2009},
    1.29 +  editor = 	 {Dos Reis and L. Th\'ery},
    1.30 +  address = 	 {Munich},
    1.31 +  month = 	 {August},
    1.32 +  publisher = {ACM Digital library}
    1.33 +}