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 http://jice.um.edu.my/index.php/MJCS/article/view/5778