Axiomatizing Operational Equivalence in the presence of Side Effects (1989)

by I Mason, C Talcott
Venue:In: Fourth Annual Symposium on Logic in Computer Science. IEEE. IEEE Computer