Yew, Kok Meng and Bulbul, Helena and Yaacob, Mashkuri (2000) Towards formalizing OO models: A case study. Malaysian Journal of Computer Science, 13 (1). pp. 12-16. ISSN 0127-9084,