Software Quality Assurance : Consistency in the Face of Complexity and Change - Walkinshaw, Neil. (Undergraduate Topics in Computer Science, 2017)