Ibn al-Ḥājib, ʻUthmān ibn ʻUmar, and Muḥammad ibn Sālim Ḥifnī. [collection of Arabic Texts].