@MastersThesis{	  perner:information:2008,
  author	= {Matthias Perner},
  school	= {TU Darmstadt},
  month		= {October},
  title		= {Information Flow Analysis for CIL},
  year		= 2008,
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2008/Thesis-Matthias-Perner.pdf},
  type		= {Bachelor Thesis}
}