A proposal to support the high-level specification of smart contracts [Una propuesta para soportar la especificación a alto nivel de contratos inteligentes] - Gómez C; Vara JM; Pérez-Blanco FJ; Marcos E (Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019, 2019)