The Clean Termination of Iterative Programs.

Andrzej Blikle The Clean Termination of Iterative Programs. 199-217 1981 16 Acta Inf. db/journals/acta/acta16.html#Blikle81