Third-order Idealized Algol with iteration is decidable (Theoretical Computer Science, 2008)

(untitled) - Murawski, A; Walukiewicz, I