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