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 June 20, 2026. https://sujo.usindh.edu.pk/index.php/SURJ/article/view/986.