@InProceedings{ZeeLamKuncakRinard04TheoremProving,
  author =       {Karen Zee and Patrick Lam and Viktor Kuncak and Martin Rinard},
  title =        {Combining Theorem Proving with Static Analysis for Data Structure Consistency},
  booktitle =    {2nd Workshop on Software Verification and Validation},
  year =         {2004}
}