Toward the Ontological Modeling of Smart Contracts: A Solidity Use Case | Publicación