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://mjs.um.edu.my/index.php/MJCS/article/view/5812. Acesso em: 6 jul. 2024.