On Programming by Iterations
Władysław M. Turski · IEEE Transactions on Software Engineering · 1984
Iterative computations are considered in this paper as a general problem-solving technique. The loop invariant is derived from problem properties rather than from program properties (as is usual in programming literature). To this end, the notion of equisolution states-a special subset of space-state in which lie the iterated trajectories-is introduced.