박미영, 강현석, 전용기, "메시지전달 프로그램의 영향받지 않은 경합조건 탐지를 위한 경합상태 전이기법," 정보과학회논문지: 시스템 및 이론, 33(8): 495-504, 한국정보과학회, 2006. 8.
Park, M., H. Kang, and Y. Jun, "Race State Transition for Detecting Unaffected Race Conditions in Message-Passing Programs," Journal of KISS: Computer Systems and Theory, 33(8): 495-504, KISS, Aug. 2006.