Validation Numerics: Theory and Applications (Computing Supplementa, 9) | EKB DL