ראשי
אורח חיים - חלק ד
הלכות יום טוב
סימן תקכז
סעיף כד-ה - 842