Maskuri, R., & Mohd. Zin, A. (1999). Using Formal Specification to Validate a Human Resource Information System.
Malaysian Journal of Computer Science
,
12
(2), 1–9. Retrieved from https://juku.um.edu.my/index.php/MJCS/article/view/5778