@phdthesis{Vojdani10Thesis,
  author = {Vesal Vojdani},
  title = {Static {D}ata {R}ace {A}nalysis of {H}eap-{M}anipulating {C} {P}rograms},
  school = {University of Tartu.},
  month = {December},
  year = 2010,
}