Heuristics for constructing while loops
program construction by relational manipulation
construction of programs from specifications
stepwise construction of iterative programs from specifications
scientific article; zbMATH DE number 58560