Minaḥ al-jalīl sharḥ 'alá mukhtaṣar Sayyid Khalīl al-juzʼ al-rābiʻ - Muḥammad 'Ulaysh, Abū 'Abd Allāh Muḥammad ibn Aḥmad ibn Muḥammad al-Azharī approximately 1802-1882 (Markaz al-Turāth lil-Barmajīyāt, 2013)