Y. K. Meng, M. Z. Rahman, and S. P. Lee, “Object-Oriented Approach to Specify Secret Sharing Protocol in Security Critical System Using Formal Method”, MJCS, vol. 13, no. 1, pp. 76–83, Jun. 2000.