R. Maskuri and A. Mohd. Zin, “Using Formal Specification to Validate a Human Resource Information System”, MJCS, vol. 12, no. 2, pp. 1–9, Dec. 1999.