@misc{History-Talk,
  title = "Tales from Verification History",
  author = "Vijay D'Silva",
  year = "2009",
}