@MastersThesis{	  th:Weber2014,
  author	= {Alexandra Weber},
  title		= {Comparison of an Operational and an Axiomatic Model of
		  Execution for Multi-threaded Programs},
  school	= {TU Darmstadt},
  type		= {Master Thesis},
  year		= 2014
}