A Temporal Blockchain: A Formal Analysis
An Analysis of the Bitcoin Electronic Cash System