The Sefer Hamitzvot of the Rambam Mitzvah 50 and 51.