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: http://mojem.um.edu.my/index.php/MJCS/article/view/5778. Acesso em: 1 jul. 2024.