A Method for Proving Observational Equivalence | IEEE Conference Publication | IEEE Xplore