@MastersThesis{	  uftring:example-driven,
  author	= {Patrick Uftring},
  title		= {An Example-driven Investigation of Effects and
		  Consequences of Weak Memory Behavior on Dependencies},
  school	= {TU Darmstadt},
  type		= {Master's Thesis},
  year		= 2020
}