SoK: A Consensus Taxonomy in the Blockchain Era
Introduction to Reliable and Secure Distributed Programming