"Static Analysis of Transactions for Conservative Multigranularity Locking."

Giuseppe Amato, Fosca Giannotti, Gianni Mainetto (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics