座談会 D.スコット博士を囲んで スコットのプログラム意味論 1981年09月号
数学者とコンピュータ 1989年08月号
かな漢字変換システムSKK 1991年04月号
数学者とコンピュータ 佐藤雅彦
スティーブ・ジョブズと会う ピーター J.デニング, カレン A.フレンケル, 栗田昭平
bit悪魔の辞典
新たなる挑戦 NeXTのソフトウェア 西尾高幸
マルチプロセッサ・ワークステーションのOS 山崎秘砂