D. Wappner, Abstracción de contratos inteligentes mediante ejecución simbólica dinámica, JAIIO, vol. 9, n.º 6, pp. 109-119, jul. 2023.