@MastersThesis{	  grewe:toward,
  author	= {Sylvia Grewe},
  title		= {Toward a Framework for Soundness Proofs of Type Systems in
		  Language-based Information-flow Security},
  school	= {TU Darmstadt},
  type		= {Master Thesis},
  year		= 2012
}