Park, M., and Y. Jun, "Detecting Unaffected Race Conditions in Message-Passing Programs," Proc. of the 11th European PVM/MPI User's Group Meeting (EuroPVM/MPI), Budapest, Hungary, Lecture Notes in Computer Science, 3241: 268-276, Springer-Verlag, Sept. 2004.