Inferring the Equivalence of Functional Programs that Mutate Data (1992)

by Ian Mason, Carolyn Talcott
Venue:Theoretical Computer Science