Meng, Y. K., Bulbul, H., & Hj. Yaacob, M. (2000). Towards Formalizing OO Models: A Case Study. Malaysian Journal of Computer Science, 13(1), 12–16. Retrieved from https://jati.um.edu.my/index.php/MJCS/article/view/5812