The Sefer Hamitzvot of the Rambam Mitzvah 56.