アサーションベース設計 / Harry D. Foster, Adam C. Krolnik, David J. Lacey 著 ; 東野輝夫, 岡野浩三, 中田明夫 監訳