Rajiv Gupta Madalene Spezialetti Loop Monotonic Computations: An Approach for the Efficient Run-Time Detection of Races. 98-111 1991 Symposium on Testing, Analysis, and Verification http://doi.acm.org/10.1145/120807.120816 db/conf/issta/tav91.html#GuptaS91