大野豊 (工学者)
『プログラム技術』 1968年 電子通信学会、共著 水野幸男、島内剛一、西村恕彦、久保宏志、和田英一、淵一博、穂坂衛、大野豊、関根智明、元岡達
『FORTRANによる数値計算ハンドブック』1971年 オーム社、共著 磯田和男、大野豊
『情報科学講座』1972年 共立出版、共著 北川敏男、大野豊、飯田善久、木村幸男
『ソフトウエア・システムの要求・仕様・設計記述手法およびその検証に関する研究』1979年 文部省科学研究費補助金研究成果報告書、研究種目、一般研究(B)、科研費課題番号 00446191
『ステツプ同期型マルチマイクロプロセサシステムによるカラーグラフイツクス制御装置』1980年 文部省科学研究費補助金研究成果報告書 研究種目、試験研究、科研費課題番号 00485098
『ソフトウエア工学における知識の利用に関する研究』文部省科学研究費補助金研究成果報告書、研究種目、総合研究(A) 1983年 課題番号 58380006
『ソフトウエア設計仕様の動的検証に関する研究』文部省科学研究費補助金研究成果報告書、1983年-1985年 研究種目、一般研究(B) 科研費課題番号 58460236
『要求フレームに基づくソフトウエア仕様定義環境の構築』文部省科学研究費補助金研究成果報告書 1986年-1987年 科研費課題番号 61880006
『分散オペレーティングシステムの構築に関する研究』文部省科学研究費補助金研究成果報告書、1991年-1992年 研究種目、一般研究(B) 03452175
『情報リテラシ』1994年 ISBN 4-320-02697-7
『数独の体系的解法 初歩から超難度までそして、Art Inkala (フィンランド) へ』2011年 私家版