Droschl, G. “A Case Study on the Application of PVS to Requirements Analysis”. Australasian Journal of Information Systems, vol. 6, no. 2, May 1999, doi:10.3127/ajis.v6i2.298.