Mathematical Approaches to Software Quality - OβRegan, Gerard (Springer-Verlag London Limited, 2006)