diff -r 7f3760f39bdc -r f8845fc8f38d doc-isac/msteger/bibliografie.bib
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-isac/msteger/bibliografie.bib	Tue Sep 17 09:50:52 2013 +0200
@@ -0,0 +1,15 @@
+@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