＜学位＞
1984.6.14 工学博士（東京大学）． 　 →　学位論文データベース

　　学位論文題目：段階的詳細化とデータ抽象化を支援する言語SPLの処理系と環境に関する研究

　→　目次，１章　　序論

　→　２章　　従来の諸研究との関係

　→　３章　　構造化プログラミング言語ＳＰＬの設計思想

　→　４章　　構造化プログラミング用言語機能の実現方式

　→　５章　　言語処理系の作成技法

　→　６章　　言語処理系の性能解析

　→　７章　　構造化プログラムの実行効率の分析

　→　８章　　言語支援系の考察

　→　９章　　適用効果

　→　10章，参考文献（PDF）　　結論，参考文献

　→　付録（PDF）　　

　参考文献で、引用文献が複数の著者：
（４件引用）
　　・E. W. Dijkstra
　　・B. Liskov
　　・N. Wirth
　　・W. A. Wulf
（3件引用）
　　・W. E. Howden
　　・E. F. Miller
　　・G. J. Myers
　　・D. L. Parnas
　　・T. A. Standish
（2件引用）
　　・E. G. Coffman
　　・D. Gries
　　・J. D. Ichbiah
　　・R. J. Leblanc
　　・益田隆司
　　・C. L. McClure
　　・M. V. Zelkowitz