BitML: A Calculus for Bitcoin Smart Contracts
Scilla: a Smart Contract Intermediate-Level LAnguage