@MastersThesis{	  richter:from,
  author	= {Benjamin Richter},
  title		= {From Axioms about Relaxed Consistency to Executions in an
		  Operational Model},
  school	= {TU Darmstadt},
  type		= {Master's Thesis},
  year		= 2017
}