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 University Research Journal - SURJ (Science Series), Vol. 50, no. 3, Sept. 2018, doi:10.26692/surj.v50i3.986.