How to make destructive updates less destructive (1991)

by Martin Odersky
Venue:In Proc. POPL