An algorithm for determining the equivalence of two blocks of assignment statementsRajendra K. Bera2004SEA 2004