Books by Maniri, Sharaf al-Din Ahmad ibn Yahya