矢竹健朗, 青木利晃, 片山卓也: "定理証明システムHOLにおけるオブジェクト指向理論の構築"情報処理学会ソフトウェア工学研究会研究報告書 2002-SE-138. (2002)

Kenro Yatake、Toshiaki Aoki、Takuy​​a Katayama：“定理证明系统 HOL 中的面向对象理论的构建”日本信息处理学会软件工程学研究小组研究报告 2002-SE-138（2002）。