| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| SPINによる設計モデル検証―モデル検査の実践ソフトウェア検証 SPINniyorusekkeimoderukenshou―moderukensanojissensofutoueakenshou | 978-4-7649-0354-8 (4-7649-0354-7) | 2008 |
| ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座) sofutoueakagakukiso―saisentannosofutoueakaihatsu/ | 978-4-7649-0355-5 (4-7649-0355-5) | 2008 |