Observational equivalence of 3rd-order Idealized Algol is decidable | IEEE Conference Publication | IEEE Xplore