@conference {DBLP:conf/dbpl/AmatoGM97,
	title = {Static Analysis of Transactions for Conservative Multigranularity Locking},
	booktitle = {DBPL},
	year = {1997},
	pages = {413-430},
	author = {Giuseppe Amato and Fosca Giannotti and Gianni Mainetto}
}
