Beit Yosef, Even HaEzer 92:13 · בית יוסף · free full Hebrew text
ומ"ש רבינו וכן אם התנה עמה אם תמות בלא בנים שיחזרו נכסיה לבית אביה הכל לפי תנאה ירושל' כתבוהו הרי"ף והרא"ש בפרק הכותב והרמב"ם בפכ"ג מה"א.