Ha, O., S. Kim, Y. Jun, "Efficient Thread Labeling for Monitoring Programs with Nested Parallelism," In Proceedings of the International Conference on Future Generation Communication and Networking (FGCN2010), Jeju Island, Korea, Communications in Computer and Information Science (CCIS), 120:227-237, Springer-Verlag, December 2010.