Meng, Y. K.; Bulbul, H.; Hj. Yaacob, M. Towards Formalizing OO Models: A Case Study. MJCS 2000, 13, 12-16.