Kenneth R. Jackson

A guide to chimney design
Proving properties about subroutines that solve ODE's numerically