@MastersThesis{	  jenskorinth:2010,
  author	= {Jens Korinth},
  school	= {TU Darmstadt},
  title		= {Relating Process Semantics by Equivalence-Preserving
		  Transformations},
  type		= {Bachelor Thesis},
  year		= 2010
}