at-Tauḍīḥ - BSB Cod.arab. 159 - Qaramānī, Muṣṭafā Ibn-Zakarīyā al- -1406; Abu-'l-Laiṯ as-Samarqandī -983