Bitcoin as a Transaction Ledger: A Composable Treatment - Badertscher, Christian; Maurer, Ueli; Tschudi, Daniel; Vassilis, Zikas (My University, 2024)