1. Asgaonkar, A.: Remove equivocating validators from fork choice consideration. https://github.com/ethereum/consensus-specs/pull/2845
2. Buterin, V.: Paths toward single-slot finality (2023). https://notes.ethereum.org/@vbuterin/single_slot_finality
3. Buterin, V., Griffith, V.: Casper the friendly finality gadget. CoRR abs/1710.09437 (2017). http://arxiv.org/abs/1710.09437
4. Buterin, V., et al.: Combining GHOST and Casper (2020)
5. Castro, M., Liskov, B.: Practical byzantine fault tolerance. In: Seltzer, M.I., Leach, P.J. (eds.) Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), New Orleans, Louisiana, USA, February 22–25, 1999, pp. 173–186. USENIX Association (1999)