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