浜中 信行, 住井 英二郎, 小林 直樹, 米澤 明憲: "Javaバイトコードにおけるオブジェクト使用解析のための型システム"第4回プログラミングおよびプログラミング言語ワークショツプ(PPL2002). 15 (2002)

Nobuyuki Hamanaka、Eijiro Sumii、Naoki Kobayashi、Akinori Yonezawa：“Java 字节码中对象使用分析的类型系统”第四届编程和编程语言研讨会（PPL2002）15（2002）。