F. EJAZ; I. AHMED; N. I. CHAUDHRY; N. J. RAJPER. Formal Specifications for Automated Face Recognition System using Z notations: Motivation towards Formal Methods . Sindh University Research Journal - SURJ (Science Series), v. 50, n. 3, 17 Sep. 2018.