Equivalence in functional languages with effects (1991)

by Ian Mason, Carolyn Talcott
Venue:Journal of Functional Programming