The Sefer Hamitzvot of the Rambam Mitzvah 81 and 82.