Textbooks

1. Digital Design
BY: Morris Mano and Michael Ciletti - Chapter 5 (Sequential Logic)
Comprehensive coverage of finite state machines, state diagrams, and sequential circuit design.

2. Digital Logic and Computer Design
BY: Morris Mano - Chapter 5
Fundamental concepts of sequential circuits, state machines, and state diagram construction.

3. Digital Electronics: Principles, Devices and Applications
BY: Anil K. Maini - Chapter 8
Practical approach to sequential circuit design with detailed analysis of flip-flops and state machines.

4. Digital Systems: Principles and Applications
BY: Ronald J. Tocci, Neal S. Widmer, and Gregory L. Moss - Chapter 7
Excellent coverage of sequential logic systems and finite state machine implementation.

5. Computer Organization and Design
BY: David A. Patterson and John L. Hennessy - Chapter 4
Hardware perspective on control units and finite state machine implementations in processors.

6. Introduction to Automata Theory, Languages, and Computation
BY: John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman - Chapter 2
Theoretical foundation of finite automata and their applications in digital systems.

Video Lectures and Online Courses

NPTEL Courses:

• Digital Circuits - IIT Kharagpur
• Computer Organization - IIT Madras
• Digital Logic Design - IIT Roorkee
• Theory of Computation - IIT Madras

MIT OpenCourseWare:

• Introduction to Digital Systems - MIT
• Computation Structures - MIT
• Theory of Computation - MIT

YouTube EDU Channels:

• Neso Academy - Digital Electronics - Sequential circuits and state machines
• GATE Lectures by Ravindrababu Ravula - Digital Logic Design
• GATE Applied Course - Theory of Computation and Automata

Research Papers and Articles

1. Synthesis of Finite State Machines: Logic Optimization
BY: Robert K. Brayton, Gary D. Hachtel, and Alberto Sangiovanni-Vincentelli
Proceedings of the IEEE, 1990

2. State Assignment for Finite State Machines
BY: Giovanni De Micheli
IEEE Transactions on Computer-Aided Design, 1991

3. Optimization Techniques for Finite State Machine Synthesis
BY: Tiziano Villa, Timothy Kam, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994