Droschl, Georg. 1999. “A Case Study on the Application of PVS to Requirements Analysis”. Australasian Journal of Information Systems 6 (2). Australia. https://doi.org/10.3127/ajis.v6i2.298.