R. Rosenfeld, «Verificación de Programas Distribuidos», Revista Abierta de Informática Aplicada, vol. 7, n.º 2, pp. 51–70, feb. 2024.