Taftāzānī, M. ibn ʻUmar. <i>Sharḥ Talkhīs al-miftāḥ.</i> .