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

by D Gries
Venue:Science of Computer Programming