@MastersThesis{lhot02,
  author = "Ond\v{r}ej Lhot\'ak",
  title = "Spark: A flexible points-to analysis framework for {Java}",
  school = "McGill University",
  year = "2002",
  month = "December"
}