@Misc{		  jenskorinth:2010,
  author	= {Jens Korinth},
  institution	= {TU Darmstadt},
  title		= {Relating Process Semantics by Equivalence-Preserving
		  Transformations (Bachelor Thesis)},
  year		= 2010
}