List of works
著書
[1] Harry Foster, Adam Krolnik, and David Lacey, "アサーションベース設計　原書第2 版," 丸善, 2004.