Sharḥ Shawāhid Al-Bahjah Al-Marḍīyah Fī Sharḥ Al-Alfīyah ... [etc.].