Theory of serializablity for a parallel model of transactionsRavindran KrishnamurthyUmeshwar Dayal1982SIGMOD/PODS 1982