島内剛一
電子通信学会東京支部編 編『プログラム技術』電子通信学会、1968年。
筧捷彦、辻尚史共著『FORTRANの実際 文法からコンパイラまで』サイエンス社〈サイエンスライブラリ 情報電算機 12〉、1973年。
島内剛一ほか共著『コンパイラのうちとそと』共立出版、1979年3月。
浅本紀子『SPE 数学用ワープロ』岩波書店〈岩波ソフトウェアライブラリ〉、1990年1月。ISBN 4-00-140017-0。 浅本紀子『SPE ver.2 数学用ワープロ』岩波書店〈岩波ソフトウェアライブラリ〉、1991年9月。ISBN 4-00-140031-6。http://www.iwanami.co.jp/.BOOKS/14/6/1400310.html。
島内剛一ほか編 編『アルゴリズム辞典』共立出版、1994年9月。ISBN 4-320-02709-4。 (序文より引用「辞典の構成と項目リスト,執筆候補者がほぼ固まった1989年12月に,委員長の島内先生が急逝された」)
「LKの証明プログラミング」第1回プログラミングシンポジウム(1960) - TACを使い、LKの証明をコンピュータプログラムで行ったというもので、自動定理証明の世界的に見てもごく初期の実験である。59年秋頃からとりかかり、12月22日に初めて機械に掛けたがマニュアル不備が原因の1命令の修正を別として完璧だったという。翌1月に実験を完了した。『日本のコンピュータの歴史』(オーム社、1985)§6.1も参照のこと。