Meng, Y. K., Rahman, M. Z., & 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), 76–83. Retrieved from https://jpmm.um.edu.my/index.php/MJCS/article/view/5823