Khalīl ibn Isḥāq al-Jundī. “Mukhtaṣar Khalīl.” 1735.