Equivalence in functional languages with eects (1991)

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