Otsar ha-Agadah meha-mishnah ṿeha-toseftah ha-talmudim ṿeha-midrashim ṿe-sifre ha-zohar - Gros, Mosheh Daṿid 1882-1966 (Mosad ha-Rav Ḳuḳ, 1964)