@PhdThesis{Lhotak:2006:PAU,
  author =       "Ond\v{r}ej Lhot\'ak",
  title =        "Program Analysis using Binary Decision Diagrams",
  school =       "McGill University",
  year =         "2006",
  month =        jan,
}