1 files changed, 47 insertions, 1 deletions
diff --git a/tex/thesis/references.bib b/tex/thesis/references.bib
index d85dea7..3993b5e 100644
--- a/tex/thesis/references.bib
+++ b/tex/thesis/references.bib
@@ -80,6 +80,19 @@
   pages = {114--152},
   publisher = {Springer-Verlag}
 }
+@inproceedings{EasyChair:117,
+  author    = {Thomas Martin Gawlitza and Helmut Seidl},
+  title     = {Abstract Interpretation over Zones without Widening},
+  booktitle = {WING 2010},
+  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
+  series    = {EPiC Series},
+  volume    = {1},
+  pages     = {12-43},
+  year      = {2012},
+  publisher = {EasyChair},
+  bibsource = {EasyChair, http://www.easychair.org},
+  issn      = {2040-557X},
+}
 @inproceedings{Gawlitza:2007:PFC:1762174.1762203,
   author = {Gawlitza, Thomas and Seidl, Helmut},
   title = {Precise fixpoint computation through strategy iteration},
@@ -160,4 +173,37 @@
   ADDRESS = {Oxford, England},
   MONTH = {November},
   YEAR = {1970}
-}
-\ No newline at end of file
+}
+@book{debugging-book,
+ author = {Zeller, Andreas},
+ title = {Why Programs Fail: A Guide to Systematic Debugging},
+ year = {2005},
+ isbn = {1558608664},
+ publisher = {Morgan Kaufmann Publishers Inc.},
+ address = {San Francisco, CA, USA},
+ page = {21},
+}
+@ARTICLE{Hailpern01softwaredebugging,
+    author = {Brent Hailpern and Padmanabhan Santhanam},
+    title = {Software Debugging, Testing, and Verification},
+    journal = {IBM SYSTEMS JOURNAL},
+    year = {2001},
+    volume = {41},
+    pages = {4--12}
+}
+@article{Halting,
+  added-at = {2011-12-06T14:58:09.000+0100},
+  author = {Turing, Alan M.},
+  biburl = {http://www.bibsonomy.org/bibtex/297ba9ab572e2017ce1dd25da3af837af/msteele},
+  interhash = {8ac1f5e961ff74849ab6f0c7348b9c9c},
+  intrahash = {97ba9ab572e2017ce1dd25da3af837af},
+  journal = {Proceedings of the London Mathematical Society},
+  keywords = {calculus},
+  pages = {230--265},
+  series = 2,
+  timestamp = {2011-12-06T14:58:09.000+0100},
+  title = {On Computable Numbers, with an application to the
+Entscheidungsproblem},
+  volume = 42,
+  year = 1936
+}