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