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