Cortadella - Logic Synthesis for Asynchronous Controllers and Interfac - X555z

Logic Synthesis for Control Automata by Samary Baranov (1994, Hardcover)

Logic Synthesis for Asynchronous Controllers and Interfaces by J Cortadella: New

Barkalov - Logic Synthesis for Compositional Microprogram Control Unit - X555z

Lavagno - Algorithms for Synthesis and Testing of Asynchronous Circuit - X555z

Logic Synthesis and Verification Algorithms

Barkalov - Logic Synthesis for FSM-Based Control Units - New hardback - X555z

Kunz - Reasoning in Boolean Networks Logic Synthesis and Verificatio - X555z