"Deadlock-Freedom (and Safety) of Transactions in a Distributed Database."

Ouri Wolfson, Mihalis Yannakakis (1985)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics