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