Maskuri, R., and A. Mohd. Zin. “Using Formal Specification to Validate a Human Resource Information System”. Malaysian Journal of Computer Science, vol. 12, no. 2, Dec. 1999, pp. 1-9, http://jice.um.edu.my/index.php/MJCS/article/view/5778.