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