BibTeX FreeDocumentationLicense HierarchicalDistributedElectionProtocols LaTeX LongTable McBride RandomSelfReducibility SixEight TypeSetting