Verification of Computer Codes in Computational Science and Engineering - Patrick Knupp; Kambiz Salari (Taylor and Francis, 2002)