Dean Jacobs David Gries General Correctness: A Unification of Partial and Total Correctness. 67-83 1985 22 Acta Inf. 1 db/journals/acta/acta22.html#JacobsG85