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: http://jice.um.edu.my/index.php/MJCS/article/view/5812 (Accessed: 1 July 2024).