박소희, 우종정, 배종민, 전용기, "병렬프로그램의 경합조건을 수행 중에 효율적으로 탐지하기 위한 레이블링 기법," 정보처리학회논문지A, 9(4): 525-534, 한국정보처리학회, 2002. 12.

Park, S., J. Woo, J. Bae, and Y. Jun, "A Labeling Scheme for Efficient On-the-fly Detection of Race Conditions in Parallel Programs," The KIPS Transactions: Part A, 9(4): 525-534, KIPS, Dec. 2002.