Tenderbake - Classical BFT Style Consensus for Public Blockchains. - Lacramioara Astefanoaei; Pierre Chambart; Antonella Del Pozzo; Edward Tate; Sara Tucci Piergiovanni; Eugen Zalinescu (CoRR, 2020)