"Software Verification and Validation: An Engineering and Scientific Approach" - читать интересную книгу автора (Marcus S. Fisher)