fix link to "A Simple Totally Ordered Broadcast Protocol" paper