[1]
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.