Equivalence of control structures | IEEE Conference Publication | IEEE Xplore