"山田一宏,渡部卓雄,森口草介,西崎真也","証明支援系を用いたMorrisの二分木走査アルゴリズムの検証","情報処理学会ソフトウェア工学研究会","情報処理学会研究報告ソフトウェア工学",,"Vol. SE-171","No. 26","pp. 1-4",2011,Mar.
"渡部卓雄,森口草介,山田一宏,西崎真也","プログラム変換を用いたポインタ操作プログラムの検証にむけて: Morrisの二分木走査アルゴリズムによるケーススタディ","電子情報通信学会ソフトウェアサイエンス研究会(SIGSS)","信学技報","電子情報通信学会","Vol. 110","No. 458","pp. 97-102",2011,Feb.