@inproceedings{naumovich-avrunin-clarke:mhp-java,
  author = "Gleb Naumovich and George S. Avrunin and Lori A. Clarke",
  title = "An efficient algorithm for computing {MHP} information for concurrent {J}ava programs",
  booktitle = "Proceedings of the joint 7th European Software Engineering Conference and 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering",
  year =         "1999",
  pages =        "338--354",
  month =        sep,
}