1. Adamski, M., Barkalov, A.: Architectural and Sequential Synthesis of Digital Devices. University of Zielona Góra Press, Zielona Góra (2006)
2. Ashar, P., Devadas, S., Newton, A.R.: Sequential Logic Synthesis. Kluwer Academic Publishers, Norwell (1992)
3. Astola, J.T., Stanković, R.S.: Fundamentals of Switching Theory and Logic Design. Springer, Heidelberg (2006)
4. Barkalov, A., Węgrzyn, M.: Design of control units with programmable logic. University of Zielona Góra Press, Zielona Góra (2006)
5. Borowik, G.: Finite state machines synthesis for FPGA structures with embedded memory blocks. PhD thesis, Faculty of Electronics and Information Technology, Warsaw University of Technology, Warsaw (2007) (in Polish)