"Mathematical Approaches to Software Quality" - читать интересную книгу автора (Gerard O'Regan)