A. Sampaio, P. Antonino, J. Ferreira, F. Arruda, and A. Roscoe.
" Safe evolution of smart contracts", in <em>Anais do I Colóquio em Blockchain e Web Descentralizada</em>, João Pessoa/PB, 2023, pp. 61-66, doi: <a href="https://doi.org/10.5753/cblockchain.2023.231559">https://doi.org/10.5753/cblockchain.2023.231559</a>.