A note on a standard strategy for developing loop invariants and loops (1984)

by D Gries
Venue:Science of Computer Programming