Taftāzānī, M. ibn ʻUmar. <i>al-Sharḥ al-mukhtaṣar.</i> .