廣瀬健
小林竜一、佐藤総夫共著『解析序説』共立出版〈数学的モデルへのアプローチ 1〉、1974年。 小林龍一、佐藤總夫共著『解析序説』筑摩書房〈ちくま学芸文庫 コ29-1 [Math & science]〉、2010年1月。ISBN 978-4-480-09259-5。
広瀬健ほか共著『数学の方法 直観的イメージから数学的対象へ』共立出版、1982年6月。ISBN 4-320-01079-5。
淵一博『第五世代コンピュータの文化』海鳴社〈Monad books 26〉、1984年1月。
淵一博『第五世代コンピュータの計画』海鳴社〈Monad books 27〉、1984年6月。
横田一正『ゲーデルの世界 完全性定理と不完全性定理』海鳴社、1985年5月。ISBN 4-87525-106-8。
有沢誠『文科系のコンピュータ/環境篇 情報と社会』岩波書店、1988年1月。ISBN 4-00-005927-0。
広瀬健ほか編 編『コンピュータソフトウェア事典』丸善、1990年4月。ISBN 4-621-03448-0。
D.E.Knuth『基本算法 基礎概念』サイエンス社〈The art of computer programming 1〉、1978年3月。
Jan van Leeuwen編 編『コンピュータ基礎理論ハンドブック』広瀬健ほか監訳、丸善、1994年2月。ISBN 4-621-03920-2。