佐原伸の著書・訳書

１．オブジェクト指向システム分析／設計　Ｑ＆Ａ、SRC、1995年

２．デザインパターンによるオブジェクト指向分析／設計、SRC、1999年5月

３．ソフトウェア開発のモデル化技法 、岩波書店、2003年2月

４．形式手法の技術講座―ソフトウェアトラブルを予防する、SRC、2008年５月