MASKURI, R.; MOHD. ZIN, A. Using Formal Specification to Validate a Human Resource Information System. Malaysian Journal of Computer Science, [S. l.], v. 12, n. 2, p. 1–9, 1999. Disponível em: https://ejournal.um.edu.my/index.php/MJCS/article/view/5778. Acesso em: 10 may. 2024.