Défago, X.Schiper, A.2005-05-202005-05-202005-05-202002https://infoscience.epfl.ch/handle/20.500.14299/213680Specification of Replication Techniques, Semi-Passive Replication and Lazyt Consensustext::report