Giuseppe Amato Fosca Giannotti Gianni Mainetto Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage. 19-29 1993 FMLDO db/conf/fmldo/fmldo93.html#AmatoGM93