Inferring the equivalence of functional programs that mutate data. Theoret (1992)

by I Mason, C L Talcott
Venue:Preliminary version in Proceedings of the 4th IEEE Symposium on Logic in Computer Science