Dogot, D. and Leiter, A. 2025. Augmented Law: Formalism in Blockchain. Journal of Cross-disciplinary Research in Computational Law. 1, 3 (Nov. 2025).