@MastersThesis{	  reinhard:diplomarbeit:2006,
  author	= {Alexander Reinhard},
  month		= {May},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2006/DiplomarbeitAReinhard.pdf},
  type		= {Diploma Thesis},
  school	= {RWTH Aachen},
  title		= {Analyse nebenl\"aufiger Programme unter intransitiven
		  Sicherheitspolitiken},
  year		= 2006
}