Maskuri, Rohidah, and Abdullah Mohd. Zin. “Using Formal Specification to Validate a Human Resource Information System”. Malaysian Journal of Computer Science 12, no. 2 (December 31, 1999): 1–9. Accessed July 1, 2024. http://ajba.um.edu.my/index.php/MJCS/article/view/5778.