F. EJAZ, I. AHMED, N. I. CHAUDHRY, and N. J. RAJPER, “Formal Specifications for Automated Face Recognition System using Z notations: Motivation towards Formal Methods ”, Sindh. Uni. Res. J. SS, vol. 50, no. 3, Sep. 2018.