Meng YK, Bulbul H, Hj. Yaacob M. Towards Formalizing OO Models: A Case Study. MJCS [Internet]. 2000 Jun. 1 [cited 2024 May 3];13(1):12-6. Available from: https://ejournal.um.edu.my/index.php/MJCS/article/view/5812