Maskuri, R. and Mohd. Zin, A. (1999) “Using Formal Specification to Validate a Human Resource Information System”, Malaysian Journal of Computer Science, 12(2), pp. 1–9. Available at: https://ejournal.um.edu.my/index.php/MJCS/article/view/5778 (Accessed: 10 May 2024).