"Proactive Recovery in a Byzantine-Fault-Tolerant System."

Miguel Castro, Barbara Liskov (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics