Meng, Y.K., Rahman, M.Z. and Lee, S.P. 2000. Object-Oriented Approach to Specify Secret Sharing Protocol in Security Critical System Using Formal Method. Malaysian Journal of Computer Science. 13, 1 (Jun. 2000), 76–83.