References: FSM Fundamentals

1. Finite-state machine - Wikipedia - Comprehensive overview of FSM theory, mathematical formalism, and applications in digital systems.

2. Moore machine - Wikipedia - Formal definition and examples of Moore-type finite state machines.

3. Mealy machine - Wikipedia - Formal definition and comparison with Moore machines.

4. Digital Design (6th Edition) - M. Morris Mano and Michael Ciletti - Pearson - Chapter 7 covers FSM fundamentals, Moore and Mealy machines, state diagrams, and encoding strategies.

5. Moore vs Mealy State Machines - ChipVerify - Practical comparison of Moore and Mealy machines with Verilog implementation examples.