Composing First-Class Transactions (1994)

by N Haines, D Kindred, J G Morrisett, S Nettles, J M Wing
Venue:ACM Trans. Program. Lang. Syst