Software Verification and Validation: An Engineering and Scientific Approach by Marcus S. Fisher | Menrva Books