al-Ḥusayn bin Muḥammad al-Astar Ābādī | الحسين بن محمد الاستر آبادى. Sharḥ Mukhtaṣar al-Qānūn Lil-ḥajj mīnī. , 0000.