Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements.

Ali Mili Jules Desharnais Jean-Raymond Gagné Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. 47-66 1985 22 Acta Inf. 1 db/journals/acta/acta22.html#MiliDG85