G.  Amato, Giannotti, F., and Mainetto, G., ?Static Analysis of Transactions for Conservative Multigranularity Locking?, in DBPL, 1997, pp. 413-430.