Equivalence in functional languages with effects (1991)

by I Mason, C Talcott
Venue:J. Funct