Maskuri, R.; Mohd. Zin, A. Using Formal Specification to Validate a Human Resource Information System. MJCS 1999, 12, 1-9.