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