Mishneh Torah, Rest on a Holiday