A method and a language for constructing iterative programs

Jean-Pierre Finance, Jeanine Souquières. A method and a language for constructing iterative programs. Science of Computer Programming, 5(2):201-218, 1985.

Abstract

Abstract is missing.