Calculation Verification: Pointwise Estimation of Solutions and Their Method-Associated Numerical Error. - David Palmer Smitherman; James R. Kamm; Jerry S. Brock (J. Aerosp. Comput. Inf. Commun., 2007)