Axiomatising operational equivalence in the presence of side effects (1989)

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