Finite State Machine Logic Synthesis for Complex Programmable Logic Devices - inbunden, Engelska, 2013