Roughgarden. An Axiomatic Approach to Block Rewards. 23 Sept. 2019.