Sampaio, A., 		Antonino, P., 		Ferreira, J., 		Arruda, F., & 		Roscoe, A.
2023 ago  6.  Safe evolution of smart contracts. Anais do Colóquio em Blockchain e Web Descentralizada (CBlockchain). [Online] :