1-6 of 6 Books

Sequential Logic and Verilog HDL Fundamentals
By Joseph Cavanagh

Automata, languages, and programming
By International Colloquium on Automata, Languages, and Programming (7th 1980 Noordwijkerhout)

Handbook Of Finite State Based Models And Applications
By Jiacun Wang