박미영, 강문혜, 전용기, 박혁로, "메시지 전달 프로그램에서의 수행 중 경합탐지," 한국정보과학회 논문지:시스템 및 이론, 34(7):267~275, 한국정보과학회, 2007.8.

Park, M., M. Kang, Y. Jun, and H. Park, "On-the-fly Detection of Race Conditions in Message-Passing Programs," Journal of KISS: Computer Systems and Theory, 34(7):267~275, KIISE, Aug. 2007.