Kim, Y., M. Kang, O. Ha, and Y. Jun, "Efficient Race Verification for Debugging Programs with OpenMP Directives," Proc, of 10th Int'l Conf. on Parallel Computing Technologies (PaCT), Russia, Lecture Notes in Computer Science, 4671: 230-239, Springer-Verlag, 2007.