Improving the Accuracy of Data Race Detection - Netzer, Robert HB; Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 1991)