@INPROCEEDINGS{FGRY:SAS03,
  AUTHOR =       "J. Field and D. Goyal and G. Ramalingam and E. Yahav",
  TITLE =        "Typestate Verification: Abstraction Techniques and Complexity Results",
  BOOKTITLE =    "Proc. of Static Analysis Symposium (SAS'03)",
  YEAR =         "2003",
  volume =       "2694",
  series =       "LNCS",
  pages =        "439--462",
  month =        "June",
  publisher =    "Springer",
}