@PhdThesis{Lam07Hob,
  author =       {Patrick Lam},
  title =        {The Hob System for Verifying Software Design Properties},
  school =       {Massachusetts Institute of Technology},
  year =         {2007},
  month =        {February}
}