Meng, Y. K., M. Z. Rahman, and S. P. Lee. “Object-Oriented Approach to Specify Secret Sharing Protocol in Security Critical System Using Formal Method”. Malaysian Journal of Computer Science, vol. 13, no. 1, June 2000, pp. 76-83, https://mjcs.um.edu.my/index.php/MJCS/article/view/5823.