@inproceedings{naumovich-avrunin:mhp,
        author = "Gleb Naumovich and George S. Avrunin",
        title = "A conservative data flow algorithm for detecting all pairs of
statements that may happen in parallel",
        booktitle = "Proceedings of the 6th ACM SIGSOFT Symposium on the Foundations of Software Engineering",
	month = nov,
        year = "1998",
        pages = "24--34"
}