Formal Proof of Equivalence in Endomorphisms and Automorphisms over Strongly Connected Automata. - Nazir Ahmad Zafar; Ajmal Hussain; Amir Ali (CSSE (2), 2008)

Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata. - Nazir Ahmad Zafar; Ajmal Hussain; Amir Ali (J. Softw. Eng. Appl., 2009)

Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata. - Nazir Ahmad Zafar; Ajmal Hussain; Amir Ali (J. Softw. Eng. Appl., 2010)