Mathematical Approaches to Software Quality door G. O'Regan