@InProceedings{LamKuncakRinard05Typestate,
  author =       {Patrick Lam and Viktor Kuncak and Martin Rinard},
  title =        {Generalized Typestate Checking for Data Structure Consistency},
  booktitle =    {Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation},
  pages =        {430--447},
  year =         {2005}
}