@conference {DBLP:conf/sas/AmatoGM92,
	title = {Analysis of Concurrent Transactions in a Functional Database Programming Language},
	booktitle = {WSA},
	year = {1992},
	pages = {174-184},
	author = {Giuseppe Amato and Fosca Giannotti and Gianni Mainetto}
}
