The Formal Termination Problem for Programs with Finite ALGOL 68-Modes.

Hans Langmaack Wolfram-Manfred Lippe Franz Wagner The Formal Termination Problem for Programs with Finite ALGOL 68-Modes. 155-159 1979 9 Inf. Process. Lett. 3 db/journals/ipl/ipl9.html#LangmaackLW79