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) 50, no. 3 (September 17, 2018). Accessed May 6, 2024. https://sujo.usindh.edu.pk/index.php/SURJ/article/view/986.