Velasco, Gislainy, Noeli Antonia Vaz, and Sergio T. Carvalho. " A High-Level Metamodel for Developing Smart Contracts on the Ethereum Virtual Machine." Proceedings of the 7th Blockchain Workshop: Theory, Technology and Applications, NiterĂ³i/RJ, 2024. SBC, 2024, pp.97-110.