Ibn al-Sāʻātī, A. ibn ʻAlī. <i>Sharḥ Majmaʻ al-baḥrayn.</i> .