The Sefer Hamitzvot of the Rambam Mitzvah 52 and 53.