“Um modelo para a implementação de contratos eletrônicos válidos” (2011) Revista Brasileira de Computação Aplicada, 4(1), p. 48–60. doi:10.5335/rbca.2013.2061.