Media type: E-Article Title: The clean termination of iterative programs Contributor: Blikle, Andrzej imprint: Springer Science and Business Media LLC, 1981 Published in: Acta Informatica Language: English DOI: 10.1007/bf00261259 ISSN: 0001-5903; 1432-0525 Keywords: Computer Networks and Communications ; Information Systems ; Software Origination: Footnote: