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,