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