diff -r 7f3760f39bdc -r f8845fc8f38d src/Doc/isac/msteger/bibliografie.bib
--- a/src/Doc/isac/msteger/bibliografie.bib	Mon Sep 16 12:27:20 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-@article{wolff10-boogie,
-  author    = {Sascha B{\"o}hme and
-               Michal Moskal and
-               Wolfram Schulte and
-               Burkhart Wolff},
-  title     = {HOL-Boogie - An Interactive Prover-Backend for the Verifying
-               C Compiler},
-  journal   = {J. Autom. Reasoning},
-  volume    = {44},
-  number    = {1-2},
-  year      = {2010},
-  pages     = {111-144},
-  ee        = {http://dx.doi.org/10.1007/s10817-009-9142-9},
-  bibsource = {DBLP, http://dblp.uni-trier.de}
-}
\ No newline at end of file