Meng, Yew Kok, Mohammad Zahidur Rahman, and Sai Peck Lee. “Object-Oriented Approach to Specify Secret Sharing Protocol in Security Critical System Using Formal Method”. Malaysian Journal of Computer Science 13, no. 1 (June 1, 2000): 76–83. Accessed May 6, 2024. https://ejournal.um.edu.my/index.php/MJCS/article/view/5823.