Simon Bachmann: Proof of Stake for Bazo; Universität Zürich, Communication Systems Group, Department of Informatics, Zürich, Switzerland, January 2018, URL: https://files.ifi.uzh.ch/CSG/staff/bocek/extern/theses/BA-Simon-Bachmann.pdf.