F. EJAZ, I. AHMED, N. I. CHAUDHRY and N. J. RAJPER (2018) “Formal Specifications for Automated Face Recognition System using Z notations: Motivation towards Formal Methods ”, Sindh University Research Journal - SURJ (Science Series), 50(3). doi: 10.26692/surj.v50i3.986.