"Axiomatizing Operational Equivalence in the Presence of Side Effects"

Ian A. Mason, Carolyn L. Talcott (1989)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics