1. Abraham I, Gueta G, Malkhi D, Alvisi L, Kotla R, Martin J (2017) Revisiting fast practical byzantine fault tolerance. https://arxiv.org/abs/1712.01367
2. Androulaki E, Barger A, Bortnikov V, Cachin C, Christidis K, Caro AD, Enyeart D, Ferris C, Laventman G, Manevich Y, Muralidharan S, Murthy C, Nguyen B, Sethi M, Singh G, Smith K, Sorniotti A, Stathakopoulou C, Vukolic M, Cocco SW, Yellick J (2018) Hyperledger fabric: a distributed operating system for permissioned blockchains. CoRR abs/1801.10228, http://arxiv.org/abs/1801.10228
3. Ateniese G, Bonacina I, Faonio A, Galesi N (2014) Proofs of space: when space is of the essence. In: Abdalla M, De Prisco R (eds) Security and cryptography for networks. Springer International Publishing, pp 538–557
4. Aublin PL, Mokhtar SB, Quéma V (2013) RBFT: Redundant Byzantine Fault Tolerance. In: Proceedings of the 2013 IEEE 33rd International Conference on Distributed Computing Systems, ICDCS’13. IEEE Computer Society, pp 297–306
5. Baier C, Katoen JP (2008) Principles of model checking (Representation and mind series). The MIT Press