1. Sklyarov V.A. Sintez avtomatov na matrichnykh BIS. - Mn.: Nauka i tekhnika, 1984. - 256 s.
2. DeMicheli G. Synthesis and optimization of digital circuits, 1994. - 256 c.
3. Sintez tsifrovykh ustroistv / Pod red. prof. T. Luby. - Varshava: WKL, 2003. - 296 c.
4. Barkalov A.A., Palagin A.V. Sintez mikroprogrammnykh ustroistv upravleniya. - Kiev: IK NAN Ukrainy, 1997. - 136 s.
5. Solov'ev V.V. Proektirovanie tsifrovykh sistem na osnove programmiruemykh logicheskikh integral'nykh skhem. - M.: Goryachaya liniya-Telekom, 2001. - 636 s.
6. Grushnitskii R.I., Mursaev A.Kh., Ugryumov E.P. Proektirovanie sistem na mikroskhemakh programmiruemoi logiki. - SPb.: BKhV, 2002. - 636 s.
7. Barkalov A.A. Sintez ustroistv upravleniya na programmiruemykh logicheskikh ustroistvakh. - Donetsk: DonNTU, 2002. - 262 s.
8. Barkalov A.A. Sintez operatsionnykh ustroistv. - Donetsk: DonNTU, 2003. - 306 s.
9. Baranov S. Logic synthesis for control automata. - Kluwer academic publishers, 1994. - 312 p.
10. Barkalov A.A. Printsipy optimizatsii logicheskoi skhemy mikroprogrammnogo avtomata Mura // Kibernetika i sistemnyi analiz. - 1998. - № 1. - S. 65-72.