Mathematical Approaches to Software Quality by G. O'Regan