The Clean Termination of Iterative Programs

Andrzej Blikle. The Clean Termination of Iterative Programs. Acta Informatica, 16:199-217, 1981.

Abstract

Abstract is missing.