MENG, Y. K.; RAHMAN, M. Z.; LEE, S. P. Object-Oriented Approach to Specify Secret Sharing Protocol in Security Critical System Using Formal Method. Malaysian Journal of Computer Science, [S. l.], v. 13, n. 1, p. 76–83, 2000. Disponível em: https://jati.um.edu.my/index.php/MJCS/article/view/5823. Acesso em: 27 dec. 2024.