@conference {DBLP:conf/fmldo/AmatoGM93, title = {Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage}, booktitle = {FMLDO}, year = {1993}, pages = {19-29}, author = {Giuseppe Amato and Fosca Giannotti and Gianni Mainetto} }