Ibn al-Ḥājib, ʻUthmān ibn ʻUmar. <i>Al-shāfiyah.</i> .