Meng, Y. K., H. Bulbul, and M. Hj. Yaacob. “Towards Formalizing OO Models: A Case Study”. Malaysian Journal of Computer Science, vol. 13, no. 1, June 2000, pp. 12-16, https://ejournal.um.edu.my/index.php/MJCS/article/view/5812.