@InProceedings{naumovich:observer-dfa,
  author = "Gleb Naumovich",
  title = "Using the Observer Design Pattern for Implementation of Data
 Flow Analyses",
  booktitle =    "Proceedings of the {ACM SIGPLAN/SIGSOFT} Workshop on Program Analysis for Software Tools and Engineering ({PASTE} '02)",
  month =        nov,
  year =         "2002",
  pages =        "61--68",
}