“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, doi: 10.26692/surj.v50i3.986.