Mathematical Approaches to Software Quality - O'Regan, Gerard