김영주, 정민섭, 전용기, " 내부적 비결정성을 가진공유 메모리병렬 프로그램에서 잠재적 경합탐지를 위한 전처리기", 한국정보처리학회논문지 26-A(1): 9-18, 2010. 2.
Kim, Y., M. Jung, Y. Jun, "A Preprocessor for Detecting Potential Races in Shared Memory Parallel Programs with Internal Nondeterminism," Transactions of the KIPS, 26-A(1): 9-18, , Fab. 2010.