김영주, 전용기, "OpenMP 디렉티브 프로그램을 위한 자료경합 검증도구," 정보과학회논문지: 시스템 및 이론, 34(9):395-406, 한국정보과학회, 2007.9.
English Title
Kim, Y., and Y. Jun, "A Verification Tool of Data Races in Programs with OpenMP Directives," Journal of KIISE: Computer Systems and Theory, 34(9):395-406, KIISE, Sep. 2007.