A model of concurrent database transactions (summary) Ravi Sethi 175-184 conf/focs/FOCS22 1981 FOCS db/conf/focs/focs81.html#Sethi81 http://doi.ieeecomputersociety.org/10.1109/SFCS.1981.8