הלכות בית הכנסת ובית המדרש [שנה א, ויקרא, ז-ח]

ז. אם צריך להכנס בהם לצרכו, כגון לקרוא לאדם אחד, יכנס ויקרא תחלה מזמור תהלים וכיוצא בדברי תורה, ואח"כ יקרא את חבירו שרוצה בו, ואם אינו יודע לקרות, ישהה שם מעט, בין עומד בין יושב, שגם זה מצוה, דכתיב 'אשרי יושבי ביתך', וישיבה זו היא לשון שהיה:

ח. אין ישנים בבית הכנסת אפילו שינת עראי, ולכן אם מצא חבירו מתנמנם חייב להקיצו, וכל שכן אם מצאו מתנמנם בעת התפלה, וכן בעת הדרשה שבזה מסיר אזנו משמוע תורה, והרי עבירה גוררת עבירה, ולצורך בית הכנסת מותר לישן שם: