Brünnler, Kai; Flumini, Dandolo; Studer, Thomas (2020). A logic of blockchain updates Journal of Logic and Computation, 30(8), pp. 1469-1485. Oxford University Press https://doi.org/10.1093/logcom/exaa045