Andrzej S. Murawski, Igor Walukiewicz. Third-order Idealized Algol with iteration is decidable. Theoretical Computer Science, 390(2-3):214-229, 2008. [doi]
@article{MurawskiW08,
title = {Third-order Idealized Algol with iteration is decidable},
author = {Andrzej S. Murawski and Igor Walukiewicz},
year = {2008},
doi = {10.1016/j.tcs.2007.09.022},
url = {http://dx.doi.org/10.1016/j.tcs.2007.09.022},
researchr = {https://researchr.org/publication/MurawskiW08},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {390},
number = {2-3},
pages = {214-229},
}