@InProceedings{naumovich-clarke-osterweil:protocols,
  author =       "Gleb N. Naumovich and Lori A. Clarke and Leon J.
                 Osterweil",
  title =        "Verification of Communication Protocols Using Data
                 Flow Analysis",
  pages =        "93--105",
  ISSN =         "0163-5948",
  booktitle =    "Proceedings of the 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering",
  month =        oct,
  year =         "1996",
}