Ok-Kyoon Ha, Sun-Sook Kim, Yong-Kee Jun: Efficient Thread Labeling for Monitoring Programs with Nested Parallelism. FGIT-FGCN (2) 2010: 227-237