著書

オブジェクト指向概念およびその応用についての入門書。

豊富な例題を通じて学ばせるプログラミング言語Pascalの入門書の改訂版。

豊富な例題を用いて学ばせるプログラミング言語Cの入門書。

豊富な例題を用いて学ばせるプログラミング言語FORTRAN77の入門書の改訂版。

並列オブジェクト指向言語ABCLおよびそれを用いて実現したシステムに関する論文集。その中で，ABCL/c+を用いてオペレーティングシステム核を記述する試みについて記述。

情報処理学会が編纂した情報処理全般についてのハンドブック。その中で，オペレーティングシステムのセキュリティについて解説。

情報科学の分野で用いられる基本的でしかも重要な用語に関する辞典。その中で，オペレーティングシステムおよびセキュリティに係わる47項目とE.W.Dijkstra，M.V.Wilkesについて記述。

情報処理の分野で用いられる基本的でしかも重要な用語，手法および代表的な情報処理システムの仕組みに関する事典。その中で，オペレーティングシステムおよびセキュリティに係わる9つの大項目を記述。

電子情報通信学会が編纂した情報通信に関するハンドブック。その中でプログラミング言語Smalltalkを解説。

前著「プログラミングの考え方」で作り上げたアルゴリズムを用いて，プログラミング言語BASICとFORTRAN77とを並行して学べるようにした入門書。

コンピュータにまつわる基本的な用語をとりあげて解説した事典。

構造的プログラミングの考えに則り特定のプログラミング言語にとらわれず，コンピュータのプログラムを作り上げるうえでの考え方を初心者のために書いた入門書。

アルマンとエイホによるコンパイラの作成法の解説書。

コンピュータセキュリティの中心的な問題，特に現代の暗号について詳述した解説書。

豊富な例題を通じて学ばせるプログラミング言語Pascalの入門書。

コンピュータ関連用語の選定，および大項目「コンピュータ」を初めとする数十項目を解説。

日本ソフトウエア科学会オブジェクト・オリエンテッド・コンピューティングに関するワークショップ85から選出された論文と解説。

コンピュータの専門家を対象としたオペレーティングシステムの通論である。

情報処理学会の編集によるJIS情報処理用語の一つ一つについて詳しく解説を施したものである。