Y. K. Meng, H. Bulbul, and M. Hj. Yaacob, “Towards Formalizing OO Models: A Case Study”, MJCS, vol. 13, no. 1, pp. 12–16, Jun. 2000.