한국정보과학회 프로그래밍언어논문지, vol. 22, no. 1, page. 1 - 13, 2008-10
정보과학회지, vol. 28, no. 4, page. 45 - 48, 2010-04