Conditions for incremental iteration: Examples and counterexamples

Barbara G. Ryder, Thomas J. Marlowe, Marvin C. Paull. Conditions for incremental iteration: Examples and counterexamples. Science of Computer Programming, 11(1):1-15, 1988. [doi]

Abstract

Abstract is missing.