Meng, Yew Kok, Helena Bulbul, and Mashkuri Hj. Yaacob. 2000. “Towards Formalizing OO Models: A Case Study”. Malaysian Journal of Computer Science 13 (1):12-16. http://jice.um.edu.my/index.php/MJCS/article/view/5812.