Yi，Kwangkeun先生（编辑） 静态分析。2006年8月29日至31日，第13届国际研讨会，SAS 2006，韩国首尔。诉讼程序。 （英语） Zbl 1120.68011号 计算机科学课堂讲稿4134.柏林：施普林格出版社（ISBN 978-3-540-37756-6/pbk）。xiii，第443页。(2006).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛K.Yi｝（编辑），静态分析。2006年8月29日至31日，第13届国际研讨会，SAS 2006，韩国首尔。诉讼程序。柏林：施普林格出版社（2006；Zbl 1120.68011） 全文： DOI程序
Yi，Kwangkeun先生 对于一阶版本，重新访问了“校对调试”。 （英语） Zbl 1107.68427号 J.功能。程序。 16，第6期，663-670（2006）.MSC公司：65年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Yi}，J.Funct。程序。16，第6号，663--670（2006；Zbl 1107.68427） 全文： DOI程序
Yi，Kwangkeun先生（编辑） 编程语言和系统。第三届亚洲研讨会，2005年APLAS，2005年11月2日至5日，日本筑波。诉讼程序。 （英语） Zbl 1098.68007号 计算机科学课堂讲稿3780.柏林：施普林格出版社（ISBN 3-540-29735-9/pbk）。xiii，435页。(2005).MSC公司：68-06 68甲15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.Yi}（编辑），编程语言和系统。第三届亚洲研讨会，2005年APLAS，日本筑波，2005年11月2-5日。诉讼程序。柏林：施普林格出版社（2005；Zbl 1098.68007） 全文： DOI程序
Yi，Kwangkeun先生 用于估计标准ML程序中未捕获异常的抽象解释。 （英语） Zbl 0941.68022号 科学。计算。程序。 31，第1期，第147-173页（1998年）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Yi}，科学。计算。程序。31，第1号，147--173（1998；Zbl 0941.68022） 全文： DOI程序