Meng, Y. K., Bulbul, H. and Hj. Yaacob, M. (2000) “Towards Formalizing OO Models: A Case Study”, Malaysian Journal of Computer Science, 13(1), pp. 12–16. Available at: https://ejournal.um.edu.my/index.php/MJCS/article/view/5812 (Accessed: 3 May 2024).