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