Meng, Yew Kok, Helena Bulbul, and Mashkuri Hj. Yaacob. “Towards Formalizing OO Models: A Case Study”. Malaysian Journal of Computer Science 13, no. 1 (June 1, 2000): 12–16. Accessed November 25, 2024. https://jpmm.um.edu.my/index.php/MJCS/article/view/5812.