Conditions for Incremental Iteration: Examples and Counterexamples

TitleConditions for Incremental Iteration: Examples and Counterexamples
Publication TypeJournal Article
Year of Publication1988
AuthorsRyder, B. G., T. J. Marlowe, and M. C. Paull
JournalScience of Computer Programming
Volume11
Pagination1-15
Date PublishedOctober