DROSCHL, G. A Case Study on the Application of PVS to Requirements Analysis. Australasian Journal of Information Systems, Australia, v. 6, n. 2, 1999. DOI: 10.3127/ajis.v6i2.298. Disponível em: https://journal.acs.org.au/index.php/ajis/article/view/298. Acesso em: 28 mar. 2024.