G.  Amato, Giannotti, F., and Mainetto, G., ?Analysis of Concurrent Transactions in a Functional Database Programming Language?, in WSA, 1992, pp. 174-184.