@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}
}
