@article{LamKuncakRinard04GeneralizedTypestate,
  author =       {Patrick Lam and Viktor Kuncak and Martin Rinard},
  title =        {Generalized Typestate Checking Using Set Interfaces and Pluggable Analyses},
  journal = {SIGPLAN Notices},
  pages =     {46--55},
  year =      {2004},
  volume =    {39},
  number =    {3},
  month =     {March},
  publisher = {ACM Press},
  url       = {http://plam.csail.mit.edu/papers/GeneralizedTypestate.ps}
}