Contributions to the Practice and Theory of State-Machine Replication
theses.hal.science