Wappner, D. 2023. Abstracción de contratos inteligentes mediante ejecución simbólica dinámica. Memorias de las JAIIO. 9, 6 (jul. 2023), 109-119.