Finite state machine logic synthesis for complex programmable logic devices
scientific article; zbMATH DE number 6148961