Maskuri, Rohidah, and Abdullah Mohd. Zin. 1999. “Using Formal Specification to Validate a Human Resource Information System”. Malaysian Journal of Computer Science 12 (2):1-9. https://ijie.um.edu.my/index.php/MJCS/article/view/5778.