Ghaznawī, ʻUmar ibn Isḥaq. <i>Sharḥ Al-Mughnī</i>. 1300.