Software Wuality Assurance: from theory to implementation - Daniel Galin (Addison-Wesley)