Stefo, Christos, Zhuolun Xiang, and Eleftherios Kokoris Kogias. “Executing and Proving over Dirty Ledgers.”https://doi.org/10.1007/978-3-031-47754-6_1__In 27th International Conference on Financial Cryptography and Data Security, 13950:3–20. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-47754-6_1 .

Alur, Rajeev, Mirco Giacobbe, Thomas A Henzinger, Kim G. Larsen, and Marius Mikudionis. “Continuous-Time Models for System Design and Analysis.”https://doi.org/10.1007/978-3-319-91908-9_22__In Computing and Software Science, edited by Bernhard Steffen and Gerhard Woeginger, 10000:452–77. LNCS. Springer Nature, 2019.https://doi.org/10.1007/978-3-319-91908-9_22 .