Sefer neʼedar ba-ḳodesh [electronic resource].