Composing first-class transactions (1994)

by N Haines, D Kindred, J G Morrisett, S M Nettles, J M Wing
Venue:ACM Transactions on Programming Languages and Systems