How to securely replicate services (1994)

by Michael Reiter, Kenneth Birman
Venue:ACM Transactions on Programming Languages and Systems