Maskuri, R. and Mohd. Zin, A. 1999. Using Formal Specification to Validate a Human Resource Information System. Malaysian Journal of Computer Science. 12, 2 (Dec. 1999), 1–9.