Third-order idealized algol with iteration is decidable (2005)

by Andrzej Murawski, Igor Walukiewicz
Venue:In “FOSSACS’05”, volume 3441 of “LNCS