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