Meng, Y.K., Bulbul, H. and Hj. Yaacob, M. 2000. Towards Formalizing OO Models: A Case Study. Malaysian Journal of Computer Science. 13, 1 (Jun. 2000), 12–16.