@MastersThesis{	  kamburjan:vergleich,
  author	= {Eduard Kamburjan},
  title		= {Vergleich zweier operationeller Ausf\"uhrungssemantiken
		  mit schwachen Speichermodellen},
  school	= {TU Darmstadt},
  type		= {Studienarbeit},
  year		= 2015
}