Transaction processing concepts and techniques - Gray, Jim; Reuter, Andreas (Morgan Kaufmann, 1993)