@MastersThesis{	  th:Scheurer2013,
  author	= {Dominic Scheurer},
  title		= {Enforcing Datalog Policies with Service Automata on
		  Distributed Version Control Systems},
  type		= {Bachelor Thesis},
  school	= {TU Darmstadt},
  year		= 2013
}