Droschl, Georg. “A Case Study on the Application of PVS to Requirements Analysis”. Australasian Journal of Information Systems 6, no. 2 (May 1, 1999). Accessed June 12, 2024. https://journal.acs.org.au/index.php/ajis/article/view/298.