Verification of computer codes in computational science and engineering - Knupp, Patrick (Discrete mathematics and its applications, 2003)