Title: Formal verification of an oral messages algorithm for interactive consistency
Subjects: Algorithms