Lamport, Leslie and Shostak, Robert and Pease, Marshall (1982) The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems (TOPLAS), 4 (3). pp. 382-401.