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

G.  Amato, Giannotti, F., and Mainetto, G., ?Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation?, in SEBD, 1994, pp. 329-349.

G.  Amato, Giannotti, F., and Mainetto, G., ?Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation?, in VLDB, 1993, pp. 405-415.

G.  Amato, Giannotti, F., and Mainetto, G., ?Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage?, in FMLDO, 1993, pp. 19-29.

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