Reasoning about hand printed Fortran programs