Nicholas Haines Darrell Kindred J. Gregory Morrisett Scott Nettles Jeannette M. Wing Composing First-Class Transactions. 1719-1736 1994 16 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/197320.197346 db/journals/toplas/toplas16.html#HainesKMNW94