Composing First-Class Transactions. - Nicholas Haines; Darrell Kindred; J. Gregory Morrisett; Scott Nettles; Jeannette M. Wing (ACM Trans. Program. Lang. Syst., 1994)