Equivalence in functional languages with effects (1991)

by I Mason, C L Talcott
Venue:Journal of Functional Programming