Pedone, F.Guerraoui, R.Schiper, A.2005-05-202005-05-202005-05-201999https://infoscience.epfl.ch/handle/20.500.14299/213743The Database State Machine Approachtext::report