Axiomatizing operational equivalence in the presence of side effects | IEEE Conference Publication | IEEE Xplore