Modulo-N Counters Module M10.4 Section 7.2. Counters Modulo-5 Counter 3-Bit Down Counter with Load and Timeout Modulo-N Down Counter.
Counters as State Machines Lecture L9.1 Handout Section 9.1.