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.