Equivalences in functional languages with e ects (1991)

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