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