A. Braga, D. Beder, R. Dahab, and C. Rubira. " Segurança em Sistemas de Micropagamentos Eletrônicos", in Proceedings of the 1st Workshop on Testing and Fault Tolerance, Porto Alegre/RS, 1998, pp. 85-90, doi: https://doi.org/10.5753/wtf.1998.23500.