@phdthesis(vau09,
  author = {Jeffrey A. Vaughan},
  title  = {Aura: Programming with Authorization and Audit},
  school = {University of Pennsylvania},
  year   = {2009},
  address = {Philadelphia}
)