Verification and Validation in Scientific Computing - William L. Oberkampf, Christopher J. Roy (Cambridge University Press, 2013)