@Misc{		  kretzmer:towards,
  author	= {David Kretzmer},
  title		= {Towards Rely-Guarantee-Style Reasoning About
		  Information-Flow Security for Object-Oriented Concurrent
		  Programs},
  institution	= {TU Darmstadt},
  year		= 2018,
  howpublished	= {Bachelor's thesis, TU Darmstadt}
}