BitML: A Calculus for Bitcoin Smart Contracts
Majority Is Not Enough: Bitcoin Mining Is Vulnerable