MENG, Y. K.; BULBUL, H.; HJ. YAACOB, M. Towards Formalizing OO Models: A Case Study. Malaysian Journal of Computer Science, [S. l.], v. 13, n. 1, p. 12–16, 2000. Disponível em: https://ejournal.um.edu.my/index.php/MJCS/article/view/5812. Acesso em: 3 may. 2024.