@MastersThesis{	  korinth:csprefinement,
  author	= {Jens Korinth},
  title		= {Preserving Information Flow Properties of CSP
		  Specifications under Refinement},
  school	= {TU Darmstadt},
  type		= {Master Thesis},
  year		= 2013
}