@PhdThesis{MayPhDThesis08,
  author = 	 {Michael J. May},
  title = 	 {Privacy {APIs}: {Formal} Models for Analyzing Legal Privacy Requirements},
  school = 	 {University of Pennsylvania},
  year = 	 2008
}