On Termination Problems for Finitely Interpreted ALGOL-like Programs.

Hans Langmaack On Termination Problems for Finitely Interpreted ALGOL-like Programs. 79-108 1982 18 Acta Inf. db/journals/acta/acta18.html#Langmaack82