Equivalence in functional languages with eoeects (1991)

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