정민섭, 김영주, 하옥균, 전용기, “내부적 비결정성을 가진 공유 메모리 프로그램의 잠재적 경합 탐지,” 한국정보처리학회 춘계학술발표 논문집, 15(1): 553-556, 한국정보처리학회, 2008. 5.
Jung, M., Y. Kim, O. Ha, and Y. Jun, “Potential Races Detection in Shared-Memory Programs with Internal Nondeterminism,” Proc. of the 29th KIPS Spring Conference, 15(1):553-556, KIPS, May 2008.