Sha'ar HaMitzvot, Bo 1שער המצוות, בא א׳
...
Torat HaOlah, Part Three 50:9תורת העולה, חלק ג נ׳:ט׳
...
Likutei Halakhot, Orach Chaim, Laws of the Festival Day 2:1:1ליקוטי הלכות, אורח חיים, הלכות יום טוב ב׳:א׳:א׳
...
Peninei Halakhah, Festivals 3:1:1פניני הלכה, מועדים ג׳:א׳:א׳
The Principles of the Melakhot / Why Melakha Is Forbidden on Yom Tov