Logic Synthesis for FPGA-Based Finite State Machines Mais livros como este

Application and Theory of Petri Nets and Concurrency

SSA-based Compiler Design