1.1 --- a/doc-src/isac/dmeindl/references.bib	Sun Sep 18 15:41:36 2011 +0200
     1.2 +++ b/doc-src/isac/dmeindl/references.bib	Mon Sep 19 08:47:07 2011 +0200
     1.3 @@ -80,15 +80,11 @@
     1.4  
     1.5  @PhdThesis{cezary-phd,
     1.6    author = 	 {Kalisyk, Cezary},
     1.7 -  title = 	 {TODO},
     1.8 -  school = 	 {},
     1.9 -  year = 	 {},
    1.10 -  OPTkey = 	 {},
    1.11 -  OPTtype = 	 {},
    1.12 -  OPTaddress = 	 {},
    1.13 -  OPTmonth = 	 {},
    1.14 -  OPTnote = 	 {},
    1.15 -  OPTannote = 	 {}
    1.16 +  title = 	 {Correctness and Availability. Building Computer Algebra on top of Proof Assistants and making Proof Assistants available over the Web},
    1.17 +  school = 	 {Radboud University Nijmegen},
    1.18 +  year = 	 {2009},
    1.19 +  type = 	 {IPA Dissertation Series 2009-18},
    1.20 +  note = 	 {Promotor Herman Geuvers}
    1.21  }
    1.22  
    1.23  @Book{bb-loos,