山本光晴,萩谷昌己,白取知樹,西崎真也: "図的対象を扱う証明チェッカのための視覚化ツール" インタラクティブシステムとソフトウェアIII,レクチャーノート/ソフトウェア学,近代科学社. 12. 85-92 (1995)

Mitsuharu Yamamoto、Masami Hagiya、Tomoki Shiratori、Shinya Nishizaki：“处理图形对象的证明检查器的可视化工具”交互系统和软件 III，讲义/软件研究，Kindai Kagakusha 12. 85-92 (1995))。