| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| SPINモデル検査―検証モデリング技法 SPINmoderukensa―kenshoumoderingugihou | 978-4-7649-0353-1 (4-7649-0353-9) | 2008 |
| 形式手法入門―ロジックによるソフトウェア設計― keishikishuhounyuumon―rojikkuniyorusofutoueasekkei― | 978-4-274-21188-1 (4-274-21188-6) | 2012 |