Ibn Walī, Khalīl. <i>Al-mawrid Al-ṣāfī Sharḥ Al-kāfī.</i> 1692.