"Transaction Management with Integrity Checking."

Davide Martinenghi, Henning Christiansen (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics