Equivalence in Functional Languages with Effect (1991)

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