A method and a language for constructing iterative programs.

Jean-Pierre Finance Jeanine Souquières A method and a language for constructing iterative programs. 201-218 1985 5 Sci. Comput. Program. 2 db/journals/scp/scp5.html#FinanceS85