A Sound and Complete Axiomatization of Operational Equivalence between Programs with Memory (1989)

by Ian Mason, Carolyn Talcott
Venue:In Proc. Symposium on Logic in Computer Science