D. Dogot and A. Leiter, “Augmented Law: Formalism in Blockchain”, CRCL, vol. 1, no. 3, Nov. 2025.