| VDM＋＋による形式仕様記述
著者：石川冬樹 / 荒木啓二郎 出版社：近代科学社 ( 2011年07月 ) 価格：4,180円 ISBN13：9784764904095 | |
| プログラム仕様記述論
著者：荒木啓二郎 / 張漢明 出版社：オーム社 ( 2002年11月 ) 価格：3,080円 ISBN13：9784274132636 | |
| ソフトウェア工学の基礎（6）
著者：荒木啓二郎 / 張漢明 出版社：近代科学社 ( 1999年12月 ) 価格：3,850円 ISBN13：9784764902787 | |
| プログラミング言語の意味論入門
著者：マシュ-・ヘネシ / 荒木啓二郎 出版社：サイエンス社 ( 1993年01月01日頃 ) 価格：2,640円 ISBN13：9784781907161 |