Pinḥas ben ʻAzriʾel ha-Leṿi, mi-ḳ.ḳ. Amśṭerdam